contribs should now compile

[helm.git] / matita / contribs / LAMBDA-TYPES / Base-1 / Makefile

diff --git a/matita/contribs/LAMBDA-TYPES/Base-1/Makefile b/matita/contribs/LAMBDA-TYPES/Base-1/Makefile
new file mode 100644 (file)
index 0000000..29cae5c
--- /dev/null
+++ b/matita/contribs/LAMBDA-TYPES/Base-1/Makefile
@@ -0,0 +1,10 @@
+DIR=$(shell basename $$PWD)
+
+$(DIR) all:
+       ../../../matitac
+$(DIR).opt opt all.opt:
+       ../../../matitac.opt
+clean:
+       ../../../matitaclean
+clean.opt:
+       ../../../matitaclean.opt