ifeq ($(DISTRIBUTED),yes)
library: library-stamp
library-stamp:
- $(MAKE) -C matita/ dist_library_clean dist_library
+ $(MAKE) -C matita/ dist_library
touch $@
endif
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
svn export components $(DISTDIR)/components
svn export matita $(DISTDIR)/matita
(cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
- ln -fs matita.conf.xml.user $(DISTDIR)/matita/matita.conf.xml
cp $< $(DISTDIR)/configure
cp -r $(EXTRA_DIST) $(DISTDIR)
dist_mktarball:
dist_extract:
tar xzf $(DISTDIR).tar.gz
-dist_build:
+dist_test:
(cd $(DISTDIR)/ \
&& ./configure \
&& $(MAKE) world \
- && $(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