]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/ocaml/test/Makefile
new MathQL syntax
[helm.git] / helm / DEVEL / gdome_xslt / ocaml / test / Makefile
index b36523d5df7884da6dd571440d76a92d9b25a1a2..777614abfc018094f25ddf866ba23748f41eb7cd 100644 (file)
@@ -1,4 +1,4 @@
-REQUIRES = gdome_xslt
+REQUIRES = gdome2-xslt
 PREDICATES =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)