From b173ec0accede3b3aba740d1e6c54ce9679bee9c Mon Sep 17 00:00:00 2001
From: bertot
Date: Wed, 22 Jan 2003 17:18:05 +0000
Subject: removes all references to ctast.ml  the Makefile has been updated
 accordingly.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 6302cc3054..6d8a8decfe 100644
--- a/Makefile
+++ b/Makefile
@@ -183,8 +183,7 @@ USERTACCMO=$(USERTAC:.ml4=.cmo)
 USERTACCMX=$(USERTAC:.ml4=.cmx)
 
 INTERFACE=\
-  contrib/interface/vtp.cmo \
-  contrib/interface/ctast.cmo contrib/interface/xlate.cmo \
+  contrib/interface/vtp.cmo contrib/interface/xlate.cmo \
   contrib/interface/paths.cmo contrib/interface/translate.cmo \
   contrib/interface/pbp.cmo \
   contrib/interface/dad.cmo \
@@ -415,10 +414,10 @@ hightactics: $(HIGHTACTICS)
 bin/coq-interface$(EXE): $(COQMKTOP) $(CMO) $(USERTACCMO) $(INTERFACE)
 	$(COQMKTOP) -top $(BYTEFLAGS) -o $@ $(INTERFACE)
 
-bin/parser$(EXE): contrib/interface/ctast.cmo contrib/interface/parse.cmo contrib/interface/line_parser.cmo $(PARSERREQUIRES) contrib/interface/xlate.cmo contrib/interface/vtp.cmo
+bin/parser$(EXE): contrib/interface/parse.cmo contrib/interface/line_parser.cmo $(PARSERREQUIRES) contrib/interface/xlate.cmo contrib/interface/vtp.cmo
 	$(OCAMLC) -cclib -lunix -custom $(BYTEFLAGS) -o $@ $(CMA) \
 	$(PARSERREQUIRES) \
-	ctast.cmo line_parser.cmo vtp.cmo xlate.cmo parse.cmo
+	line_parser.cmo vtp.cmo xlate.cmo parse.cmo
 
 clean::
 	rm -f bin/parser$(EXE) bin/coq-interface$(EXE)
-- 
cgit v1.2.3