ifeq ($(DISTRIBUTED),yes)
library: library-stamp
library-stamp:
- $(MAKE) -C matita/ dist_library_clean dist_library
+ $(MAKE) -C matita/ dist_library
touch $@
endif
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:
(cd $(DISTDIR)/ \
&& ./configure \
&& $(MAKE) world \
- && $(MAKE) library \
&& $(MAKE) install DESTDIR=`pwd`/install)
.PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_test dist_autotools