3 VERSION = @MATITA_VERSION@
6 DISTDIR = $(BASENAME)-$(VERSION)
19 dist: export mktarball
20 distcheck: dist extract build
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)
32 tar cvzf $(DISTDIR).tar.gz $(DISTDIR)
34 .PHONY: dist export mktarball distcheck extract build