Update eligible problem list (now sorted)

[helm.git] / helm / software / components / binaries / matitaprover / Makefile

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
index 6d26497859b47b15f3b3b81c6de0935861bb2a46..c5a65b032ce300f12d56a71418730fb4278f7947 100644 (file)
--- a/helm/software/components/binaries/matitaprover/Makefile
+++ b/helm/software/components/binaries/matitaprover/Makefile
@@ -1,5 +1,16 @@
+DATE=$(shell date +%y%m%d)
+VERSION=1.0.0-rc1
+DIST=matitaprover---$(VERSION)
+
 all:
        ocamlbuild matitaprover.native
 
 clean:
        ocamlbuild -clean
+       rm -rf $(DIST) $(DIST).tgz
+
+dist:
+       mkdir -p $(DIST)/Sources
+       cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
+       cd $(DIST); ln -s Sources/matitaprover.native matitaprover
+       tar -cvzf $(DIST).tgz $(DIST)