xoa: new binary for the generation of multiple logical constants

[helm.git] / matita / matita / lib / lambda-delta / Makefile

diff --git a/matita/matita/lib/lambda-delta/Makefile b/matita/matita/lib/lambda-delta/Makefile
new file mode 100644 (file)
index 0000000..6489043
--- /dev/null
+++ b/matita/matita/lib/lambda-delta/Makefile
@@ -0,0 +1,12 @@
+H       = @
+XOA_DIR = ../../../components/binaries/xoa
+XOA     = xoa.native
+
+CONF    = xoa.conf.xml
+TARGETS = xoa_natation.ma  xoa_defs.ma
+
+all: $(TARGETS)
+
+$(TARGETS): $(CONF)
+       @echo "  EXEC $(XOA) $(CONF)"
+       $(H)MATITA_RT_BASE_DIR=../.. $(XOA_DIR)/$(XOA) $(CONF)