helm/Makefile

   1
   2 BASENAME = matita
   3 VERSION = @MATITA_VERSION@
   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         Makefile                \
  17         $(NULL)
  18
  19 dist: export mktarball
  20 distcheck: dist extract build
  21
  22 export:
  23         rm -rf $(DISTDIR)
  24         mkdir $(DISTDIR)
  25         svn export ocaml $(DISTDIR)/ocaml
  26         svn export matita $(DISTDIR)/matita
  27         (cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
  28         mv $(DISTDIR)/ocaml $(DISTDIR)/libs
  29         cp -r $(EXTRA_DIST) $(DISTDIR)
  30
  31 mktarball:
  32         tar cvzf $(DISTDIR).tar.gz $(DISTDIR)
  33
  34 .PHONY: dist export mktarball distcheck extract build
  35