5 SUBDIRS = components matita
7 ifeq ($(DISTRIBUTED),yes)
8 all: depend $(foreach d,$(SUBDIRS),rec@all@$(d))
9 opt: depend $(foreach d,$(SUBDIRS),rec@opt@$(d))
11 all: $(foreach d,$(SUBDIRS),rec@all@$(d))
12 opt: $(foreach d,$(SUBDIRS),rec@opt@$(d))
14 world: depend $(foreach d,$(SUBDIRS),rec@world@$(d))
17 ifeq ($(HAVE_OCAMLOPT),yes)
18 ifeq ($(DISTRIBUTED),yes)
19 $(MAKE) $(foreach d,$(SUBDIRS),rec@depend.opt@$(d))
21 $(MAKE) $(foreach d,$(SUBDIRS),rec@depend@$(d))
24 $(MAKE) $(foreach d,$(SUBDIRS),rec@depend@$(d))
26 $(H)touch depend-stamp
28 clean: $(foreach d,$(SUBDIRS),rec@clean@$(d))
29 distclean: $(foreach d,$(SUBDIRS),rec@distclean@$(d))
30 $(H)rm -rf .matita library-stamp depend-stamp
31 install: $(foreach d,$(SUBDIRS),rec@install@$(d))
32 uninstall: $(foreach d,$(SUBDIRS),rec@uninstall@$(d))
35 $(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*))
37 # {{{ Distribution stuff
39 ifeq ($(DISTRIBUTED),yes)
40 library: library-stamp
42 $(MAKE) -C matita/ dist_library
48 DISTDIR = $(BASENAME)-$(MATITA_VERSION)
58 matita/dist/ChangeLog \
63 distcheck: dist dist_extract dist_test
65 dist: dist_mktmpdir dist_export dist_mktarball dist_rmtmpdir
66 dist/configure.ac: configure.ac matita/dist/configure.ac.sed
67 sed -f matita/dist/configure.ac.sed < $< > $@
68 dist/configure: dist/configure.ac
71 test -d dist || mkdir dist
73 test -d dist && rm -rf dist/ || true
74 dist_export: dist/configure
77 svn export components $(DISTDIR)/components
78 svn export matita $(DISTDIR)/matita
79 (cd $(DISTDIR) && find . -name .depend -exec rm \{\} \;)
80 (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
81 cp $< $(DISTDIR)/configure
82 cp -r $(EXTRA_DIST) $(DISTDIR)
84 tar czf $(DISTDIR).tar.gz $(DISTDIR)
88 tar xzf $(DISTDIR).tar.gz
93 && $(MAKE) install DESTDIR=`pwd`/install)
95 .PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_test dist_autotools
97 # }}} End of distribution stuff
99 .PHONY: all opt clean distclean
101 # vim: set foldmethod=marker: