4 SUBDIRS = components matita
6 all: $(foreach d,$(SUBDIRS),rec@all@$(d))
7 opt: $(foreach d,$(SUBDIRS),rec@opt@$(d))
8 world: $(foreach d,$(SUBDIRS),rec@world@$(d))
9 clean: $(foreach d,$(SUBDIRS),rec@clean@$(d))
10 distclean: $(foreach d,$(SUBDIRS),rec@distclean@$(d))
11 rm -rf .matita library-stamp
12 install: $(foreach d,$(SUBDIRS),rec@install@$(d))
13 uninstall: $(foreach d,$(SUBDIRS),rec@uninstall@$(d))
16 $(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*))
18 # {{{ Distribution stuff
20 ifeq ($(DISTRIBUTED),yes)
21 library: library-stamp
23 $(MAKE) -C matita/ dist_library_clean dist_library
29 DISTDIR = $(BASENAME)-$(MATITA_VERSION)
39 matita/dist/ChangeLog \
44 distcheck: dist dist_extract dist_test
46 dist: dist_mktmpdir dist_export dist_mktarball dist_rmtmpdir
47 dist/configure.ac: configure.ac matita/dist/configure.ac.sed
48 sed -f matita/dist/configure.ac.sed < $< > $@
49 dist/configure: dist/configure.ac
52 test -d dist || mkdir dist
54 test -d dist && rm -rf dist/ || true
55 dist_export: dist/configure
58 svn export components $(DISTDIR)/components
59 svn export matita $(DISTDIR)/matita
60 (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
61 ln -fs matita.conf.xml.user $(DISTDIR)/matita/matita.conf.xml
62 cp $< $(DISTDIR)/configure
63 cp -r $(EXTRA_DIST) $(DISTDIR)
65 tar czf $(DISTDIR).tar.gz $(DISTDIR)
69 tar xzf $(DISTDIR).tar.gz
75 && $(MAKE) install DESTDIR=`pwd`/install)
77 .PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_test dist_autotools
79 # }}} End of distribution stuff
81 .PHONY: all opt clean distclean
83 # vim: set foldmethod=marker: