casa-mp-base

--- work/menhir-20170101/Makefile   2017-01-05 22:54:36.000000000 +0100

+++ Makefile    2017-01-05 23:01:18.000000000 +0100

@@ -164,23 +164,23 @@

 install:

 # Install the executable.

-   mkdir -p $(bindir)

-   install $(BUILDDIR)/menhir.$(TARGET) $(bindir)/$(MENHIREXE)

+   mkdir -p $(DESTDIR)$(bindir)

+   install $(BUILDDIR)/menhir.$(TARGET) $(DESTDIR)$(bindir)/$(MENHIREXE)

 # Install the library.

-   mkdir -p $(libdir)

-   install -m 644 $(MLYLIB) $(libdir)

+   mkdir -p $(DESTDIR)$(libdir)

+   install -m 644 $(MLYLIB) $(DESTDIR)$(libdir)

    @if `$(BUILDDIR)/menhir.$(TARGET) --suggest-ocamlfind | tr -d '\r'` ; then \

      echo 'Installing MenhirLib via ocamlfind.' ; \

-     ocamlfind install menhirLib src/META $(patsubst %,$(BUILDDIR)/%,$(MENHIRLIB)) ; \

+     ocamlfind install -destdir $(DESTDIR)$(PREFIX)/lib/ocaml/site-lib menhirLib src/META $(patsubst %,$(BUILDDIR)/%,$(MENHIRLIB)) ; \

    else \

      echo 'Installing MenhirLib manually.' ; \

-     install -m 644 $(patsubst %,$(BUILDDIR)/%,$(MENHIRLIB)) $(libdir) ; \

+     install -m 644 $(patsubst %,$(BUILDDIR)/%,$(MENHIRLIB)) $(DESTDIR)$(libdir) ; \

    fi

 # Install the documentation, if it has been built.

    if [ -f manual.pdf ] ; then \

-     mkdir -p $(docdir) $(mandir) && \

-     cp -r $(DOCS) $(docdir) && \

-     cp -r $(MANS) $(mandir) ; \

+     mkdir -p $(DESTDIR)$(docdir) $(DESTDIR)$(mandir) && \

+     cp -r $(DOCS) $(DESTDIR)$(docdir) && \

+     cp -r $(MANS) $(DESTDIR)$(mandir) ; \

    fi

 uninstall: