Run the Makefile (with GNU make) to generate SQL files for validation.
