Makefile

   1
   2 include Makefile.defs
   3
   4 SUBDIRS = components matita
   5
   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))
  10
  11 all.%:
  12         $(MAKE) -C $* all
  13 opt.%:
  14         $(MAKE) -C $* opt
  15 clean.%:
  16         $(MAKE) -C $* clean
  17 distclean.%:
  18         $(MAKE) -C $* distclean
  19 install.%:
  20         $(MAKE) -C $* install
  21 uninstall.%:
  22         $(MAKE) -C $* uninstall
  23
  24 BASENAME = matita
  25 NULL =
  26 DISTDIR = $(BASENAME)-$(MATITA_VERSION)
  27 CLEAN_ON_DIST =                 \
  28         components/license      \
  29         $(NULL)
  30 EXTRA_DIST =                    \
  31         dist/AUTHORS            \
  32         dist/COPYING            \
  33         dist/INSTALL            \
  34         dist/README             \
  35         dist/ChangeLog          \
  36         Makefile                \
  37         Makefile.defs.in        \
  38         ./configure             \
  39         $(NULL)
  40
  41 dist: dist_autotools dist_export dist_mktarball
  42 distcheck: dist dist_extract dist_build
  43
  44 dist_autotools:
  45         autoconf
  46         ./configure
  47
  48 dist_export:
  49         rm -rf $(DISTDIR)
  50         mkdir $(DISTDIR)
  51         svn export components $(DISTDIR)/components
  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         cp -r $(EXTRA_DIST) $(DISTDIR)
  56
  57 dist_mktarball:
  58         tar czf $(DISTDIR).tar.gz $(DISTDIR)
  59
  60 .PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_build dist_autotools
  61 .PHONY: all opt clean distclean
  62