CONTRIB=$(DESTDIR)/@prefix@/lib/coq/user-contrib
COQC=@COQC@
COQBIN=@COQBIN@

srcs=theories \
	ChangeLog \
	Makefile.in \
	configure.ac \
	configure \
	_CoqProject \
	NEWS \
	AUTHORS \
	INSTALL \
	README.md \
	COPYING

# PACKAGE_NAME / PACKAGE_VERSION from AC_INIT
rel=@PACKAGE_NAME@-@PACKAGE_VERSION@

KNOWNFILES := Makefile _CoqProject configure.ac configure check
.DEFAULT_GOAL := invoke-coqmakefile

configure: configure.ac
	autoconf

CoqMakefile: Makefile _CoqProject
	$(COQBIN)/coq_makefile -f _CoqProject -o CoqMakefile

invoke-coqmakefile: CoqMakefile
	make COQBIN=$(COQBIN) COQLIBINSTALL=$(CONTRIB) \
		-f CoqMakefile \
		$(filter-out $(KNOWNTARGETS), $(MAKECMDGOALS))

check:

AUTOCONF_FILES=aclocal.m4 \
		autom4te.cache \
		config.log \
		config.status \
		configure \
		install-sh \
		missing
AUTOMAKE_FILES=Makefile
BUILD_FILES=$$(find . -name "*.tar.gz") $$(find . -name "*~")
distclean:
	rm -rf $(AUTOCONF_FILES) $(AUTOMAKE_FILES)
clean:
	rm -rf $(BUILD_FILES)
	rm -rf theories/*.vo theories/*.vok theories/*.glob theories/*.vos theories/*.aux
	rm -rf CoqMakefile CoqMakefile.conf
	rm -rf $(rel)

dist: configure
	rm -rf $(rel)
	mkdir -p $(rel)
	rm -rf theories/*.vo theories/*.vok theories/*.glob theories/*.vos theories/.*.aux
	cp -r $(srcs) $(rel)
	tar -czf $(rel).tar.gz $(rel)
	rm -rf $(rel)

distcheck: dist
	tar -xzf $(rel).tar.gz
	cd $(rel); ./configure; make; make check
	rm -rf $(rel)

.PHONY: invoke-coqmakefile $(KNOWNFILES)

%: invoke-coqmakefile
	@true