X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2FMakefile;h=5e393c2a97efd3397cafd2993ef110032e6dc8e7;hb=1eb00eff3c3a5f67c3a200a82098c97f4fbe0c5e;hp=6d26497859b47b15f3b3b81c6de0935861bb2a46;hpb=01b01dd4e6602de3ae463f74b4d1ef29a73acc68;p=helm.git

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
index 6d2649785..5e393c2a9 100644
--- 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=0.5.7
+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)