]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/gdome_xslt/ocaml/test/Makefile
* patches for ocaml compilation
[helm.git] / helm / DEVEL / gdome_xslt / ocaml / test / Makefile
index 777614abfc018094f25ddf866ba23748f41eb7cd..b17c5f05e2465d766be9c4260a699e04d4d5e284 100644 (file)
@@ -8,10 +8,10 @@ all: test
 opt: test.opt
 
 test: test.ml
-       $(OCAMLC) -linkpkg -o $@ $<
+       ( export OCAMLPATH=.; $(OCAMLC) -linkpkg -o $@ $< )
 
 test.opt: test.ml
-       $(OCAMLOPT) -linkpkg -o $@ $<
+       ( export OCAMLPATH=.; $(OCAMLOPT) -linkpkg -o $@ $< )
 
 clean:
        rm -f test test.opt test.cmi test.cmo text.cmx