X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2FMakefile;h=edae652aecf7410f7a355e0e4363ecbe2886bfac;hb=277fc8ff21ce3dbd6893b1994c55cf5c06a98355;hp=90f9bc28f1778fa065d5522d5603db4354164c6f;hpb=9611da1d5568a3dbc32354f0410254752e4aa613;p=helm.git

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
index 90f9bc28f..edae652ae 100644
--- a/helm/software/components/binaries/matitaprover/Makefile
+++ b/helm/software/components/binaries/matitaprover/Makefile
@@ -1,10 +1,17 @@
 DATE=$(shell date +%y%m%d)
+VERSION=1.0.0
+DIST=matitaprover---$(VERSION)
 
 all:
 	ocamlbuild matitaprover.native
 
 clean:
 	ocamlbuild -clean
+	rm -rf $(DIST) $(DIST).tgz
 
-test: all
-	for X in `cat casc_2008`; do echo $$X; echo $$X>>log.$(DATE); ./matitaprover.native --tptppath TPTP-v3.7.0 $$X.p >> log.$(DATE) 2>&1; done
+dist:
+	mkdir -p $(DIST)/Sources
+	cp ReadMe $(DIST)
+	cp *.ml *.mli *.mll *.mly Makefile _tags $(DIST)/Sources
+	cd $(DIST); ln -s Sources/matitaprover.native matitaprover
+	tar -cvzf $(DIST).tgz $(DIST)