X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2FMakefile;h=6a16621dcd0c750e0c89c84510968c1cfe1192c4;hb=1a56e06b4c137fa7f6f973f51ee639ab1462f525;hp=9be238e0ca8ed15e339d36fb49f2547b1dd0af05;hpb=c3ab7e0c0f605738d56530182eb8725bd948de82;p=helm.git

diff --git a/helm/software/Makefile b/helm/software/Makefile
index 9be238e0c..6a16621dc 100644
--- a/helm/software/Makefile
+++ b/helm/software/Makefile
@@ -31,7 +31,8 @@ CLEAN_ON_DIST = 		\
 	components/license	\
 	$(NULL)
 EXTRA_DIST = 			\
-	matita/dist/AUTHORS 	\
+	matita/AUTHORS 		\
+	matita/LICENSE 		\
 	matita/dist/COPYING 	\
 	matita/dist/INSTALL 	\
 	matita/dist/README	\
@@ -40,7 +41,7 @@ EXTRA_DIST = 			\
 	Makefile.defs.in	\
 	$(NULL)
 
-distcheck: dist dist_extract dist_build
+distcheck: dist dist_extract dist_test
 
 dist: dist_mktmpdir dist_export dist_mktarball dist_rmtmpdir
 dist/configure.ac: configure.ac matita/dist/configure.ac.sed
@@ -66,13 +67,14 @@ dist_mktarball:
 
 dist_extract:
 	tar xzf $(DISTDIR).tar.gz
-dist_build:
+dist_test:
 	(cd $(DISTDIR)/ \
 	  && ./configure \
 	  && $(MAKE) world \
-	  && $(MAKE) library)
+	  && $(MAKE) library \
+	  && $(MAKE) install DESTDIR=`pwd`/install)
 
-.PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_build dist_autotools
+.PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_test dist_autotools
 
 # }}} End of distribution stuff