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
  20 BASENAME = matita
  21 NULL =
  22 DISTDIR = $(BASENAME)-$(MATITA_VERSION)
  23 CLEAN_ON_DIST =                 \
  24         ocaml/license           \
  25         $(NULL)
  26 EXTRA_DIST =                    \
  27         dist/AUTHORS            \
  28         dist/COPYING            \
  29         dist/INSTALL            \
  30         dist/README             \
  31         dist/ChangeLog          \
  32         Makefile                \
  33         Makefile.defs.in        \
  34         ./configure             \
  35         $(NULL)
  36
  37 dist: autotools export mktarball
  38 distcheck: dist extract build
  39
  40 autotools:
  41         autoconf
  42
  43 export:
  44         rm -rf $(DISTDIR)
  45         mkdir $(DISTDIR)
  46         svn export ocaml $(DISTDIR)/ocaml
  47         svn export matita $(DISTDIR)/matita
  48         (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
  49         mv $(DISTDIR)/ocaml $(DISTDIR)/libs
  50         cp -r $(EXTRA_DIST) $(DISTDIR)
  51
  52 mktarball:
  53         tar cvzf $(DISTDIR).tar.gz $(DISTDIR)
  54
  55 .PHONY: dist export mktarball distcheck extract build autotools
  56 .PHONY: all opt clean distclean
  57