From 400be1275d3a2652457fd07c53070886b3e13e49 Mon Sep 17 00:00:00 2001
From: swrup <swrup@protonmail.com>
Date: Tue, 11 Nov 2025 10:03:56 +0100
Subject: [PATCH]

---
 .gitignore           |  4 ++++
 include/sql/Makefile | 30 ++++++++++++++++++++++++++++++
 include/sql/sql.ml   |  0
 3 files changed, 34 insertions(+)
 create mode 100644 include/sql/sql.ml

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..0d91fc52 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,20 @@ 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 $@
+
+OUTFILE := sql.ml
+
+$(OUTFILE): $(sql_DATA)
+	@printf "" > $@
+	@for f in $(ALL_FILES); do \
+	    printf "[%s]\n" "$$f" >> $@; \
+	done
+
+clean:
+	rm -f procedures.sql
+	rm -f exchange-0002.sql
+	rm -f exchange-0003.sql
+	rm -f exchange-0004.sql
+
+.DEFAULT_GOAL := all
+all: $(OUTFILE) procedures.sql exchange-0002.sql exchange-0003.sql exchange-0004.sql
diff --git a/include/sql/sql.ml b/include/sql/sql.ml
new file mode 100644
index 00000000..e69de29b