casa-mp-base

--- work/ospec-0.3.0/Makefile   2012-09-17 13:43:08.000000000 +0200

+++ Makefile    2012-10-04 18:33:37.000000000 +0200

@@ -1,10 +1,11 @@

 install:

-   ocamlfind install ospec src/META _build/src/pa_spec.cmo \

+   ocamlfind install -destdir $(DESTDIR)$(PREFIX)/lib/ocaml/site-lib -ldconf ignore \

+       ospec src/META _build/src/pa_spec.cmo \

        _build/src/pa_spec.cmi _build/src/spec.cmo _build/src/spec.cmi \

        _build/src/helpers.cmo _build/src/helpers.cmi _build/src/report.cmo \

        _build/src/report.cmi _build/src/gen.cmo _build/src/gen.cmi \

        _build/src/prop.cmo _build/src/prop.cmi

-   install -m 755 _build/src/ospec.byte $(EXEC_PREFIX)/bin/ospec

+   install -m 755 _build/src/ospec.byte $(DESTDIR)$(PREFIX)/bin/ospec

 uninstall:

    ocamlfind remove ospec