helm/Makefile

   1
   2 include Makefile.defs
   3
   4 SUBDIRS = libs 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         ocaml/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: autotools export mktarball
  42 distcheck: dist extract build
  43
  44 autotools:
  45         autoconf
  46
  47 export:
  48         rm -rf $(DISTDIR)
  49         mkdir $(DISTDIR)
  50         svn export ocaml $(DISTDIR)/ocaml
  51         svn export matita $(DISTDIR)/matita
  52         (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
  53         mv $(DISTDIR)/ocaml $(DISTDIR)/libs
  54         cp -r $(EXTRA_DIST) $(DISTDIR)
  55
  56 mktarball:
  57         tar cvzf $(DISTDIR).tar.gz $(DISTDIR)
  58
  59 .PHONY: dist export mktarball distcheck extract build autotools
  60 .PHONY: all opt clean distclean
  61