--- 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: