From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 14 Jun 2005 11:44:58 +0000 (+0000)
Subject: hack to compile on gazelle
X-Git-Tag: PRE_STORAGE~29
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9c1bd84338a0ae7fc50bb3354d08fb6001cbcd24;p=helm.git

hack to compile on gazelle
---

diff --git a/helm/ocaml/utf8_macros/Makefile b/helm/ocaml/utf8_macros/Makefile
index 9962c4f60..fcc712cb8 100644
--- a/helm/ocaml/utf8_macros/Makefile
+++ b/helm/ocaml/utf8_macros/Makefile
@@ -1,5 +1,5 @@
 PACKAGE = utf8_macros
-REQUIRES = helm-pxp
+REQUIRES = 
 PREDICATES =
 
 # modules which have both a .ml and a .mli
@@ -11,9 +11,9 @@ EXTRA_OBJECTS_TO_CLEAN =
 all: utf8_macros.cma pa_unicode_macro.cma
 
 make_table: make_table.ml
-	$(OCAMLFIND) ocamlc -package $(REQUIRES) -linkpkg -o $@ $^
+	$(OCAMLFIND) ocamlc -package helm-pxp -linkpkg -o $@ $^
 
-utf8MacroTable.ml: make_table
+utf8MacroTable.ml:
 	./make_table $@
 utf8MacroTable.cmo: utf8MacroTable.ml
 	$(OCAMLFIND) ocamlc -c $<