From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 25 Jun 2009 13:12:52 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~3799
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=01b01dd4e6602de3ae463f74b4d1ef29a73acc68;p=helm.git

...
---

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
new file mode 100644
index 000000000..6d2649785
--- /dev/null
+++ b/helm/software/components/binaries/matitaprover/Makefile
@@ -0,0 +1,5 @@
+all:
+	ocamlbuild matitaprover.native
+
+clean:
+	ocamlbuild -clean