components/license \
$(NULL)
EXTRA_DIST = \
- matita/dist/AUTHORS \
+ matita/AUTHORS \
+ matita/LICENSE \
matita/dist/COPYING \
matita/dist/INSTALL \
matita/dist/README \
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
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