From b4a932fad873357ebe50bf571858e9fca842b9e5 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 16 Aug 1999 13:17:30 +0000
Subject: Initial revision

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 68 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 68 insertions(+)
 create mode 100644 Makefile

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
new file mode 100644
index 0000000000..cb3d0b2a9f
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,68 @@
+
+# Main Makefile for Coq
+
+include config/Makefile
+
+noargument:
+	@echo Please use either
+	@echo "   ./configure"
+	@echo "   make world"
+	@echo "   make install"
+	@echo "   make cleanall"
+	@echo or make archclean
+
+INCLUDES=-I config -I lib
+BYTEFLAGS=$(INCLUDES) $(CAMLDEBUG)
+OPTFLAGS=$(INCLUDES) $(CAMLTIMEPROF)
+OCAMLDEP=ocamldep
+DEPFLAGS=$(INCLUDES)
+
+# Objects files 
+
+CONFIG=config/coq_config.cmo
+
+LIB=lib/pp_control.cmo lib/pp.cmo lib/util.cmo lib/hashcons.cmo
+
+KERNEL=kernel/names.cmo
+
+OBJS=$(CONFIG) $(LIB) $(KERNEL)
+
+# Targets
+
+world: $(OBJS)
+
+# Default rules
+
+.SUFFIXES: .ml .mli .cmo .cmi .cmx
+
+.ml.cmo:
+	$(OCAMLC) $(BYTEFLAGS) -c $<
+
+.mli.cmi:
+	$(OCAMLC) $(BYTEFLAGS) -c $<
+
+.ml.cmx:
+	$(OCAMLOPT) $(OPTFLAGS) -c $<
+
+# Cleaning
+
+archclean::
+	rm -f config/*.cmx config/*.[so]
+	rm -f lib/*.cmx lib/*.[so]
+	rm -f kernel/*.cmx kernel/*.[so]
+
+cleanall:: archclean
+	rm -f *~
+	rm -f config/*.cm[io] config/*~
+	rm -f lib/*.cm[io] lib/*~
+	rm -f kernel/*.cm[io] kernel/*~
+
+cleanconfig::
+	rm -f config/Makefile config/coq_config.ml
+
+# Dependencies
+
+depend:
+	$(OCAMLDEP) $(DEPFLAGS) */*.mli */*.ml > .depend
+
+include .depend
-- 
cgit v1.2.3