diff --git a/.gitignore b/.gitignore
index e35d8850..8141efa9 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,5 @@
 _build
+include/sql/procedures.sql
+include/sql/exchange-0002.sql
+include/sql/exchange-0003.sql
+include/sql/exchange-0004.sql
diff --git a/include/sql/Makefile b/include/sql/Makefile
index dfcea0c1..d6115f0c 100644
--- a/include/sql/Makefile
+++ b/include/sql/Makefile
@@ -1,3 +1,16 @@
+sql_DATA := \
+  benchmark-0001.sql \
+  versioning.sql \
+  auditor-triggers-0001.sql \
+  exchange-0001.sql \
+  exchange-0002.sql \
+  exchange-0003.sql \
+  exchange-0004.sql \
+  exchange-0005.sql \
+  drop.sql \
+  procedures.sql \
+  tops-0001.sql
+
 procedures.sql: procedures.sql.in exchange_do_*.sql exchange_statistics_*.sql exchange_trigger_*.sql
 	chmod +w $@ 2> /dev/null || true
 	gcc -E -P -undef - < procedures.sql.in 2>/dev/null | sed -e "s/--.*//" | awk 'NF' - >$@
@@ -17,3 +30,23 @@ exchange-0004.sql: exchange-0004.sql.in 0004-*.sql
 	chmod +w $@ 2> /dev/null || true
 	gcc -E -P -undef - < exchange-0004.sql.in 2>/dev/null | sed -e "s/--.*//" | awk 'NF' - >$@
 	chmod ugo-w $@
+
+sql: procedures.sql exchange-0002.sql exchange-0003.sql exchange-0004.sql
+
+OUTFILE := sql.ml
+
+$(OUTFILE): sql
+	@printf "" > $@
+	@for f in $(sql_DATA); do \
+	    printf "[%s]\n" "$$f" >> $@; \
+	done
+
+.DEFAULT_GOAL := crunch
+crunch: $(OUTFILE)
+
+clean:
+	rm -f procedures.sql
+	rm -f exchange-0002.sql
+	rm -f exchange-0003.sql
+	rm -f exchange-0004.sql
+	rm -f $(OUTFILE)
diff --git a/include/sql/sql.ml b/include/sql/sql.ml
new file mode 100644
index 00000000..ac971407
--- /dev/null
+++ b/include/sql/sql.ml
@@ -0,0 +1,11 @@
+[benchmark-0001.sql]
+[versioning.sql]
+[auditor-triggers-0001.sql]
+[exchange-0001.sql]
+[exchange-0002.sql]
+[exchange-0003.sql]
+[exchange-0004.sql]
+[exchange-0005.sql]
+[drop.sql]
+[procedures.sql]
+[tops-0001.sql]