helm/Makefile

   1
   2 BASENAME = matita
   3 VERSION = 0.1.0
   4
   5 NULL =
   6 DISTDIR = $(BASENAME)-$(VERSION)
   7 CLEAN_ON_DIST =                 \
   8         ocaml/license           \
   9         $(NULL)
  10 EXTRA_DIST =                    \
  11         dist/AUTHORS            \
  12         dist/COPYING            \
  13         dist/INSTALL            \
  14         dist/README             \
  15         dist/ChangeLog          \
  16         $(NULL)
  17
  18 dist: export mktarball
  19 distcheck: dist extract build
  20
  21 export:
  22         rm -rf $(DISTDIR)
  23         mkdir $(DISTDIR)
  24         svn export ocaml $(DISTDIR)/ocaml
  25         svn export matita $(DISTDIR)/matita
  26         (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
  27
  28 mktarball:
  29         tar cvzf $(DISTDIR).tar.gz $(DISTDIR)
  30
  31 .PHONY: dist export mktarball distcheck extract build
  32