6 all: $(foreach d,$(SUBDIRS),all.$(d))
7 opt: $(foreach d,$(SUBDIRS),opt.$(d))
8 clean: $(foreach d,$(SUBDIRS),clean.$(d))
9 distclean: $(foreach d,$(SUBDIRS),distclean.$(d))
18 $(MAKE) -C $* distclean
22 $(MAKE) -C $* uninstall
26 DISTDIR = $(BASENAME)-$(MATITA_VERSION)
41 dist: dist_autotools dist_export dist_mktarball
42 distcheck: dist dist_extract dist_build
51 svn export ocaml $(DISTDIR)/ocaml
52 svn export matita $(DISTDIR)/matita
53 (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
54 ln -fs matita.conf.xml.user $(DISTDIR)/matita/matita.conf.xml
55 mv $(DISTDIR)/ocaml $(DISTDIR)/libs
56 cp -r $(EXTRA_DIST) $(DISTDIR)
59 tar czf $(DISTDIR).tar.gz $(DISTDIR)
61 .PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_build dist_autotools
62 .PHONY: all opt clean distclean