- lambda_delta: subject reduction for nativa type assignment begins ...

[helm.git] / matita / components / binaries / matitadep / Makefile

diff --git a/matita/components/binaries/matitadep/Makefile b/matita/components/binaries/matitadep/Makefile
new file mode 100644 (file)
index 0000000..7695ab2
--- /dev/null
+++ b/matita/components/binaries/matitadep/Makefile
@@ -0,0 +1,6 @@
+EXEC = matitadep
+VERSION=0.1.0
+
+REQUIRES =
+
+include ../Makefile.common