From 05074a8ee576e155596cf0c8bb3c8372a4dfa086 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Fri, 3 Sep 1999 09:53:11 +0000
Subject: modules Libobject et Summary (partiel)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@36 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 775cdc3c78..e062d39979 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ OPTFLAGS=$(INCLUDES) $(CAMLTIMEPROF)
 OCAMLDEP=ocamldep
 DEPFLAGS=$(INCLUDES)
 
-INCLUDES=-I config -I lib -I kernel
+INCLUDES=-I config -I lib -I kernel -I library
 
 # Objects files 
 
@@ -33,18 +33,22 @@ KERNEL=kernel/names.cmo kernel/generic.cmo kernel/univ.cmo kernel/term.cmo \
        kernel/type_errors.cmo kernel/typeops.cmo kernel/indtypes.cmo \
        kernel/typing.cmo
 
-OBJS=$(CONFIG) $(LIB) $(KERNEL)
+LIBRARY=library/libobject.cmo library/summary.cmo
+
+OBJS=$(CONFIG) $(LIB) $(KERNEL) $(LIBRARY)
 
 # Targets
 
 world: $(OBJS)
-	$(OCAMLC) -o coqtop.byte $(OBJS)
+	#$(OCAMLC) -o coqtop.byte $(OBJS)
+	ocamlmktop -o coqtop $(OBJS)
 
 # Literate programming (with ocamlweb)
 
 LPLIB = lib/doc.tex $(LIB:.cmo=.mli)
 LPKERNEL = kernel/doc.tex $(KERNEL:.cmo=.mli)
-LPFILES = doc/macros.tex doc/intro.tex $(LPLIB) $(LPKERNEL)
+LPLIBRARY = library/doc.tex $(LIBRARY:.cmo=.mli)
+LPFILES = doc/macros.tex doc/intro.tex $(LPLIB) $(LPKERNEL) $(LPLIBRARY)
 lp: doc/coq.ps
 doc/coq.ps: doc/coq.tex
 	cd doc; make coq.ps
-- 
cgit v1.2.3