include Makefile.defs

SUBDIRS = components matita

all: $(foreach d,$(SUBDIRS),rec@all@$(d))
opt: $(foreach d,$(SUBDIRS),rec@opt@$(d))
world: $(foreach d,$(SUBDIRS),rec@world@$(d))
clean: $(foreach d,$(SUBDIRS),rec@clean@$(d))
distclean: $(foreach d,$(SUBDIRS),rec@distclean@$(d))
	rm -rf .matita library-stamp
install: $(foreach d,$(SUBDIRS),rec@install@$(d))
uninstall: $(foreach d,$(SUBDIRS),rec@uninstall@$(d))

rec@%:
	$(MAKE) -C $(word 2, $(subst @, ,$*)) $(word 1, $(subst @, ,$*))

# {{{ Distribution stuff

ifeq ($(DISTRIBUTED),yes)
library: library-stamp
library-stamp:
	$(MAKE) -C matita/ dist_library_clean dist_library
	touch $@
endif

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)

distcheck: dist dist_extract dist_build

dist: dist_mktmpdir dist_export dist_mktarball dist_rmtmpdir
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)
	rm -rf $(DISTDIR)

dist_extract:
	tar xzf $(DISTDIR).tar.gz
dist_build:
	(cd $(DISTDIR)/ \
	  && ./configure \
	  && $(MAKE) world \
	  && $(MAKE) library)

.PHONY: dist dist_export dist_mktarball distcheck dist_extract dist_build dist_autotools

# }}} End of distribution stuff

.PHONY: all opt clean distclean

# vim: set foldmethod=marker: