diff --git a/devel/menhir/Makefile b/devel/menhir/Makefile index bcd9f446a8ca..86c2935ea67f 100644 --- a/devel/menhir/Makefile +++ b/devel/menhir/Makefile @@ -1,38 +1,39 @@ # Created by: Jaap Boender # $FreeBSD$ PORTNAME= menhir -PORTVERSION= 20140422 +PORTVERSION= 20151112 CATEGORIES= devel MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/ MAINTAINER= ports@FreeBSD.org COMMENT= LR(1) parser generator for OCaml -USES= gmake USE_OCAML= yes USE_OCAML_FINDLIB= yes USE_OCAMLFIND_PLIST= yes OCAML_PKGDIRS= menhirLib + +USES= gmake MAKE_JOBS_UNSAFE= yes DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME} PORTDOCS= * PLIST_FILES= bin/menhir man/man1/menhir.1.gz %%DATADIR%%/standard.mly OPTIONS_DEFINE= DOCS post-patch: @${REINPLACE_CMD} -e \ 's|share/man|man| ; \ s|doc/menhir|doc/ocaml/menhir| ; \ s| \($$(bindir)\)| $${DESTDIR}\1| ; \ s| \($$(libdir)\)| $${DESTDIR}\1| ; \ s| \($$(docdir)\)| $${DESTDIR}\1| ; \ s| \($$(mandir)\)| $${DESTDIR}\1|' ${WRKSRC}/Makefile post-install: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/menhir .include diff --git a/devel/menhir/distinfo b/devel/menhir/distinfo index 7f8c796a760d..94409692619e 100644 --- a/devel/menhir/distinfo +++ b/devel/menhir/distinfo @@ -1,2 +1,2 @@ -SHA256 (menhir-20140422.tar.gz) = 0da8c84fff1713f9bd666940be19e2be9d7ecdf2688a7d7b822428d3a27021ce -SIZE (menhir-20140422.tar.gz) = 549129 +SHA256 (menhir-20151112.tar.gz) = 06616e300ed2e5f4f2c74c58873fcd4b5f8f033b4f375f201049dafe4cd20e3a +SIZE (menhir-20151112.tar.gz) = 727051