X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Fgdome_xslt%2Focaml%2Ftest%2FMakefile;h=777614abfc018094f25ddf866ba23748f41eb7cd;hb=2f28bfb47f5fad6b3c5a705d9ede95700416dee8;hp=b36523d5df7884da6dd571440d76a92d9b25a1a2;hpb=0474bcec6d3bb8972eec0964a34872712122f340;p=helm.git diff --git a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile index b36523d5d..777614abf 100644 --- a/helm/DEVEL/gdome_xslt/ocaml/test/Makefile +++ b/helm/DEVEL/gdome_xslt/ocaml/test/Makefile @@ -1,4 +1,4 @@ -REQUIRES = gdome_xslt +REQUIRES = gdome2-xslt PREDICATES = OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)