From 6cdd06a49a4db723fbd4b40bc3264c3a3a37c65b Mon Sep 17 00:00:00 2001
From: corbinea
Date: Mon, 26 May 2003 11:54:32 +0000
Subject: moved engine.ml4 to ground.ml4, added option 'Ground Depth' fixed
 utf8.vo dependency.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 82cd79376e..3e114e506a 100644
--- a/Makefile
+++ b/Makefile
@@ -279,7 +279,7 @@ FUNINDCMO=\
 FOCMO=\
   contrib/first-order/formula.cmo contrib/first-order/sequent.cmo \
   contrib/first-order/unify.cmo contrib/first-order/rules.cmo \
-  contrib/first-order/engine.cmo
+  contrib/first-order/ground.cmo
 
 CCCMO=contrib/cc/ccalgo.cmo contrib/cc/ccproof.cmo contrib/cc/cctac.cmo  
 
@@ -297,16 +297,7 @@ LINEARCMO=\
 
 ML4FILES += contrib/jprover/jprover.ml4 contrib/cc/cctac.ml4 \
   contrib/linear/ccidpc.ml4 contrib/linear/dpc.ml4 contrib/funind/tacinv.ml4 \
-  contrib/first-order/engine.ml4
-
-USERCMO =\
-	user-contrib/formula.cmo \
-	user-contrib/prio.cmo \
-	user-contrib/sequent.cmo \
-	user-contrib/unify.cmo \
-	user-contrib/rules.cmo \
-	user-contrib/engine.cmo
-
+  contrib/first-order/ground.ml4
 
 CONTRIB=$(OMEGACMO) $(ROMEGACMO) $(RINGCMO) $(FIELDCMO) \
 	$(FOURIERCMO) $(EXTRACTIONCMO) $(JPROVERCMO) $(XMLCMO) \
@@ -401,7 +392,12 @@ beforedepend:: ide/config_parser.mli ide/config_parser.ml
 beforedepend:: ide/utf8_convert.ml
 
 FULLIDELIB=$(FULLCOQLIB)/ide
-IDEFILES=ide/utf8.vo ide/coq.png ide/.coqide-gtk2rc ide/FAQ
+
+COQIDEVO=ide/utf8.vo
+
+$(COQIDEVO): states/initial.coq
+
+IDEFILES=$(COQIDEVO) ide/coq.png ide/.coqide-gtk2rc ide/FAQ
 
 coqide: $(IDEFILES) coqide-$(HASCOQIDE)
 coqide-no:
-- 
cgit v1.2.3