Add CI placeholder Makefile

dspinellis · Sep 26, 2023 · bbe40cd · bbe40cd
1 parent 9373d25
commit bbe40cd
Showing 1 changed file with 20 additions and 0 deletions.
diff --git a/examples/uspto/Makefile b/examples/uspto/Makefile
@@ -0,0 +1,20 @@
+#
+# CI placeholder for USPTO example
+#
+
+export RDBMS?=sqlite
+export ROLAPDB?=rolap
+
+A3K?=a3k
+
+V?=1
+TIME?=time
+export SQLITE_TMPDIR?=.
+
+include simple-rolap/Makefile
+
+simple-rolap/Makefile:
+	git clone https://github.com/dspinellis/simple-rolap
+
+depclean:
+	rm -f $(DEPENDENCIES)