diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 70 |
1 files changed, 70 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in new file mode 100644 index 0000000..d43e8f1 --- /dev/null +++ b/Makefile.in @@ -0,0 +1,70 @@ +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 +.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: + make -f COQBIN=$(COQBIN) CoqMakefile validate + +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 + rm -rf $(rel) + +.PHONY: invoke-coqmakefile $(KNOWNFILES) + +%: invoke-coqmakefile + @true |