diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2007-03-06 19:17:44 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2007-03-06 19:17:44 +0000 |
| commit | 94b3d1675982f3e85efb12a376ad3b3567790e05 (patch) | |
| tree | 20ce32ee13dc05de28859322333a90989ab27e41 /devel/menhir/files | |
| parent | 6f1e8de2b8b97f0432ad1d70c1f851de2175d0a7 (diff) | |
| download | ports-94b3d1675982f3e85efb12a376ad3b3567790e05.tar.gz ports-94b3d1675982f3e85efb12a376ad3b3567790e05.zip | |
Notes
Diffstat (limited to 'devel/menhir/files')
| -rw-r--r-- | devel/menhir/files/patch-Makefile | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/devel/menhir/files/patch-Makefile b/devel/menhir/files/patch-Makefile new file mode 100644 index 000000000000..8956d5a71929 --- /dev/null +++ b/devel/menhir/files/patch-Makefile @@ -0,0 +1,24 @@ +--- Makefile.orig Thu Feb 15 11:03:08 2007 ++++ Makefile Mon Mar 5 12:25:21 2007 +@@ -50,9 +50,9 @@ + + EXECUTABLE := menhir + bindir := ${PREFIX}/bin +-docdir := ${PREFIX}/share/doc/$(EXECUTABLE) +-libdir := ${PREFIX}/share/$(EXECUTABLE) +-mandir := ${PREFIX}/share/man/man1 ++docdir := ${DOCSDIR} ++libdir := ${OCAML_SITELIBDIR}/${EXECUTABLE} ++mandir := ${PREFIX}/man/man1 + MANS := menhir.1 + DOCS := manual.pdf demos + LIBS := standard.mly +@@ -75,7 +75,7 @@ + # during bootstrap stage one. + + stdlib.ml: +- echo "let path = \"${PREFIX}/share/menhir\"" > stdlib.ml ++ echo "let path = \"${OCAML_SITELIBDIR}/menhir\"" > stdlib.ml + + # ---------------------------------------------------------------------------- + # Installation. |