From 5a7a920e6f01cb84712304ab3d6e559f3ed6e1e6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 8 Apr 2010 17:28:13 +0000
Subject: [PATCH] fixed compiltion order of lexer/parser

From: tassi <tassi@c2b2084f-9a08-0410-b176-e24b037a169a>
---
 helm/software/components/tptp_grafite/Makefile | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/helm/software/components/tptp_grafite/Makefile b/helm/software/components/tptp_grafite/Makefile
index 1e2398373..b89f39ed5 100644
--- a/helm/software/components/tptp_grafite/Makefile
+++ b/helm/software/components/tptp_grafite/Makefile
@@ -10,11 +10,20 @@ EXTRA_OBJECTS_TO_CLEAN =
 TPTPDIR= /home/$(USER)/work-area/TPTP-v3.2.0/
 
 all: tptp2grafite mainTHF
-clean: clean_tests
+clean: clean_tests clean_generated
+
+clean_generated:
+	rm -f parser.mli parser.ml parserTHF.mli parserTHF.ml 
+	rm -f lexer.ml lexerTHF.ml
 
 clean_tests:
 	rm -f tptp2grafite
 
+lexer.cmo: parser.cmi
+lexer.cmx: parser.cmi
+lexerTHF.cmo: parserTHF.cmi
+lexerTHF.cmx: parserTHF.cmi
+
 %.mli %.ml: %.mly
 	ocamlyacc $*.mly
 %.ml:%.mll
-- 
2.39.2