From 01b01dd4e6602de3ae463f74b4d1ef29a73acc68 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 25 Jun 2009 13:12:52 +0000 Subject: [PATCH] ... --- helm/software/components/binaries/matitaprover/Makefile | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 helm/software/components/binaries/matitaprover/Makefile 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 -- 2.39.2