]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/inline/Makefile
update in ground_2, static_2, basic_2
[helm.git] / helm / www / lambdadelta / bin / inline / Makefile
diff --git a/helm/www/lambdadelta/bin/inline/Makefile b/helm/www/lambdadelta/bin/inline/Makefile
new file mode 100644 (file)
index 0000000..ac8761e
--- /dev/null
@@ -0,0 +1,10 @@
+EXECS = inline
+
+REQUIRES =
+
+include ../Makefile.common
+
+test:
+#      @$(MAKE) --no-print-directory -C ../../ www
+
+.PHONY: test