From 0577c06262f89785b41f110840a1646c7981fe12 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 30 Jan 2001 09:19:30 +0000
Subject: backtrack sur le lexeur de la V6

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index dac1b926d0..5cf95b7a84 100644
--- a/Makefile
+++ b/Makefile
@@ -512,22 +512,10 @@ tags:
 ### Special rules
 ###########################################################################
 
-# lexer (compiled with camlp4 to get optimized streams)
-
-parsing/lexer.cmo: parsing/lexer.ml
-	$(OCAMLC_P4O) -c $<
-
-parsing/lexer.cmx: parsing/lexer.ml
-	$(OCAMLOPT_P4O) -c $<
-
-clean::
-	rm -f parsing/lexer.ml
-
-beforedepend:: parsing/lexer.ml
-
 # grammar modules with camlp4
 
-ML4FILES += parsing/q_coqast.ml4 parsing/g_prim.ml4 parsing/pcoq.ml4
+ML4FILES += parsing/lexer.ml4 parsing/q_coqast.ml4 \
+            parsing/g_prim.ml4 parsing/pcoq.ml4
 
 GRAMMARCMO=lib/pp_control.cmo lib/pp.cmo lib/util.cmo lib/dyn.cmo \
 	   lib/hashcons.cmo parsing/coqast.cmo parsing/lexer.cmo \
-- 
cgit v1.2.3