diff options
Diffstat (limited to 'devel/menhir/Makefile')
| -rw-r--r-- | devel/menhir/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile index 884b10abe69a..7bd3bade1bfe 100644 --- a/devel/menhir/Makefile +++ b/devel/menhir/Makefile @@ -6,7 +6,7 @@ # PORTNAME= menhir -PORTVERSION= 20071212 +PORTVERSION= 20080912 CATEGORIES= devel MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/ @@ -16,6 +16,8 @@ COMMENT= LR(1) parser generator for OCaml USE_GMAKE= yes USE_OCAML= yes USE_OCAML_FINDLIB= yes +USE_OCAMLFIND_PLIST= yes +OCAML_PKGDIRS= menhirLib INSTALL_TARGET= install MAKE_ENV+= mandir="${MANPREFIX}/man/man1" |