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)
38 matita/dist/ChangeLog \
43 distcheck: dist dist_extract dist_build
45 dist: dist_mktmpdir dist_export dist_mktarball dist_rmtmpdir
46 dist/configure.ac: configure.ac matita/dist/configure.ac.sed
47 sed -f matita/dist/configure.ac.sed < $< > $@
48 dist/configure: dist/configure.ac
51 test -d dist || mkdir dist
53 test -d dist && rm -rf dist/ || true
54 dist_export: dist/configure
57 svn export components $(DISTDIR)/components
58 svn export matita $(DISTDIR)/matita
59 (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
60 ln -fs matita.conf.xml.user $(DISTDIR)/matita/matita.conf.xml
61 cp $< $(DISTDIR)/configure
62 cp -r $(EXTRA_DIST) $(DISTDIR)
64 tar czf $(DISTDIR).tar.gz $(DISTDIR)
68 tar xzf $(DISTDIR).tar.gz
75 .PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_build dist_autotools
77 # }}} End of distribution stuff
79 .PHONY: all opt clean distclean
81 # vim: set foldmethod=marker: