casa-mp-base

--- Makefile    2011-09-20 22:25:07.000000000 +0200

+++ Makefile    2011-09-28 13:21:50.000000000 +0200

@@ -43,7 +43,7 @@

        $< > $@

 install:

-   $(OCAMLFIND) install ${PACKAGENAME} \

+   $(OCAMLFIND) install ${PACKAGENAME} -destdir $(DESTDIR)$(SITELIB) -ldconf ignore \

      -patch-version ${VERSION} \

      META ${INTF} ${IMPL} ${NATIMPL} \

      ${MLI_TO_INSTALL}