Lambda v0.0.0v0.0.0

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