]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mlminidom/Makefile.in
...
[helm.git] / helm / DEVEL / mlminidom / Makefile.in
index fac5c98c758edbcbc4006305a974eb1ae2ad061d..1e4dfdd8f1aedde1133654a077ab01e718472bd6 100644 (file)
@@ -13,7 +13,7 @@ PREDICATES =
 OCAMLC = ocamlfind ocamlc
 OCAMLOPT = ocamlfind ocamlopt
 OCAMLDEP = ocamldep
-DESTDIR = /usr/lib/ocaml
+DESTDIR = @OCAML_LIB_DIR@
 
 ARCHIVE = $(PACKAGE).cma
 ARCHIVE_C = $(PACKAGE).a