From 69f95bd34f0fc9c339169397331f2d747839314f Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 8 Sep 1999 07:42:02 +0000
Subject: minicoq: pretty-print applications; ambiguite grammaire supprimee;
 Ind, Const et Construct mots cles

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 850060911c..e52b55118e 100644
--- a/Makefile
+++ b/Makefile
@@ -96,7 +96,7 @@ parsing/lexer.cmo: parsing/lexer.ml
 
 # Default rules
 
-.SUFFIXES: .ml .mli .cmo .cmi .cmx .mll .g4
+.SUFFIXES: .ml .mli .cmo .cmi .cmx .mll .ml4
 
 .ml.cmo:
 	$(OCAMLC) $(BYTEFLAGS) -c $<
@@ -110,10 +110,10 @@ parsing/lexer.cmo: parsing/lexer.ml
 .mll.ml:
 	ocamllex $<
 
-.g4.cmo:
+.ml4.cmo:
 	$(OCAMLC) $(BYTEFLAGS) -I $(CAMLP4LIB) -pp "$(CAMLP4EXTEND) -impl" -c -impl $<
 
-.g4.cmx:
+.ml44.cmx:
 	$(OCAMLOPT) $(OPTFLAGS) -I $(CAMLP4LIB) -pp "$(CAMLP4EXTEND) -impl" -c -impl $<
 
 # Cleaning
-- 
cgit v1.2.3