BASENAME = matita
VERSION = @MATITA_VERSION@

NULL =
DISTDIR = $(BASENAME)-$(VERSION)
CLEAN_ON_DIST = 		\
	ocaml/license 		\
	$(NULL)
EXTRA_DIST = 			\
	dist/AUTHORS 		\
	dist/COPYING 		\
	dist/INSTALL 		\
	dist/README		\
	dist/ChangeLog 		\
	Makefile 		\
	$(NULL)

dist: export mktarball
distcheck: dist extract build

export:
	rm -rf $(DISTDIR)
	mkdir $(DISTDIR)
	svn export ocaml $(DISTDIR)/ocaml
	svn export matita $(DISTDIR)/matita
	(cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
	mv $(DISTDIR)/ocaml $(DISTDIR)/libs
	cp -r $(EXTRA_DIST) $(DISTDIR)

mktarball:
	tar cvzf $(DISTDIR).tar.gz $(DISTDIR)

.PHONY: dist export mktarball distcheck extract build