hack to compile on gazelle

diff --git a/helm/ocaml/utf8_macros/Makefile b/helm/ocaml/utf8_macros/Makefile
index 9962c4f608732e551322547793a62836a0763e95..fcc712cb823f55e43f9585cdb0dac2942304187e 100644 (file)
--- 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 $<