include Makefile.defs

SUBDIRS = components matita

all: $(foreach d,$(SUBDIRS),all.$(d))
opt: $(foreach d,$(SUBDIRS),opt.$(d))
clean: $(foreach d,$(SUBDIRS),clean.$(d))
distclean: $(foreach d,$(SUBDIRS),distclean.$(d))

all.%:
	$(MAKE) -C $* all
opt.%:
	$(MAKE) -C $* opt
clean.%:
	$(MAKE) -C $* clean
distclean.%:
	$(MAKE) -C $* distclean
install.%:
	$(MAKE) -C $* install
uninstall.%:
	$(MAKE) -C $* uninstall

BASENAME = matita
NULL =
DISTDIR = $(BASENAME)-$(MATITA_VERSION)
CLEAN_ON_DIST = 		\
	components/license	\
	$(NULL)
EXTRA_DIST = 			\
	matita/dist/AUTHORS 	\
	matita/dist/COPYING 	\
	matita/dist/INSTALL 	\
	matita/dist/README	\
	matita/dist/ChangeLog	\
	Makefile 		\
	Makefile.defs.in	\
	$(NULL)

dist: dist_mktmpdir dist_export dist_mktarball dist_rmtmpdir
distcheck: dist dist_extract dist_build

dist/configure.ac: configure.ac matita/dist/configure.ac.sed
	sed -f matita/dist/configure.ac.sed < $< > $@
dist/configure: dist/configure.ac
	cd dist && autoconf
dist_mktmpdir:
	test -d dist || mkdir dist
dist_rmtmpdir:
	test -d dist && rm -rf dist/ || true
dist_export: dist/configure
	rm -rf $(DISTDIR)
	mkdir $(DISTDIR)
	svn export components $(DISTDIR)/components
	svn export matita $(DISTDIR)/matita
	(cd $(DISTDIR) && rm -f $(CLEAN_ON_DIST))
	ln -fs matita.conf.xml.user $(DISTDIR)/matita/matita.conf.xml
	cp $< $(DISTDIR)/configure
	cp -r $(EXTRA_DIST) $(DISTDIR)

dist_mktarball:
	tar czf $(DISTDIR).tar.gz $(DISTDIR)

.PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_build dist_autotools
.PHONY: all opt clean distclean