From 011c2bb0a597d1b0dc9b23cca08522fbaecbde23 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/dune         |  2 +-
 include/sql/Makefile | 37 +++++++++++++++++++++++++++++++++++++
 3 files changed, 42 insertions(+), 1 deletion(-)

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/dune b/include/dune
index d9601600..3db76755 100644
--- a/include/dune
+++ b/include/dune
@@ -1,7 +1,7 @@
 (library
  (name include)
  ; (wrapped false)
- (modules taler_signatures)
+ (modules taler_signatures sql)
  (libraries))
 
 (executable
diff --git a/include/sql/Makefile b/include/sql/Makefile
index dfcea0c1..679d5f6f 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,27 @@ 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 \
+	fname=$$(basename "$$f"); \
+	base=$${fname%.*}; \
+	fname=$$(echo "$${base}" | tr '-' '_'); \
+	content=$$(cat "$$f"); \
+	printf "let %s = {|%s|}\n" "$${fname}" "$${content}" >> $@; \
+	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 $(OUTFILE)