From 1e485645ef6481a856e8a67477f186519fb8ec9d Mon Sep 17 00:00:00 2001
From: coq
Date: Sat, 5 Oct 2002 11:03:20 +0000
Subject: Lazy experimentale temporaire...

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 32b8315963..7909233007 100644
--- a/Makefile
+++ b/Makefile
@@ -304,10 +304,13 @@ COQTOPBYTE=bin/coqtop.byte$(EXE)
 COQTOPOPT=bin/coqtop.opt$(EXE)
 BESTCOQTOP=bin/coqtop.$(BEST)$(EXE)
 COQTOP=bin/coqtop$(EXE)
-COQINTERFACE=bin/coq-interface$(EXE) bin/parser$(EXE)
 
-COQBINARIES= $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BESTCOQTOP) $(COQTOP) \
-             $(COQINTERFACE) 
+# COQINTERFACE=bin/coq-interface$(EXE) bin/parser$(EXE)
+
+COQBINARIES= $(COQMKTOP) $(COQC) $(COQTOPBYTE) $(BESTCOQTOP) $(COQTOP) 
+
+#\
+# $(COQINTERFACE) 
 
 coqbinaries:: ${COQBINARIES}
 
@@ -620,7 +623,8 @@ contrib/interface/AddDad.vo: contrib/interface/AddDad.v $(INTERFACE) states/init
 
 CONTRIBVO = $(OMEGAVO) $(ROMEGAVO) $(RINGVO) $(FIELDVO) $(XMLVO) \
 	    $(CORRECTNESSVO) $(FOURIERVO) \
-	    $(JPROVERVO) $(INTERFACEV0) $(CCVO)
+	    $(JPROVERVO) $(CCVO)
+# $(INTERFACEV0)
 
 $(CONTRIBVO): states/initial.coq
 
-- 
cgit v1.2.3