d7ec60f5a5
Based on the new policy of all maintained ports reset when maintaner is absent for 3 months. Bug#226400 for science/py-tensorflow is ignored since 2018-03-06 (3+ months). portscout database indicates that 48.94% of his ports aren't updated.
42 lines
917 B
Makefile
42 lines
917 B
Makefile
# Created by: Jaap Boender <jaapb@kerguelen.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= menhir
|
|
PORTVERSION= 20170712
|
|
CATEGORIES= devel
|
|
MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= LR(1) parser generator for OCaml
|
|
|
|
LICENSE= GPLv2
|
|
LICENSE_FILE= ${WRKSRC}/LICENSE
|
|
|
|
USES= gmake shebangfix
|
|
USE_OCAML= yes
|
|
USE_OCAML_FINDLIB= yes
|
|
USE_OCAMLFIND_PLIST= yes
|
|
OCAML_PKGDIRS= menhirLib
|
|
|
|
SHEBANG_FILES= demos/find-menhir.sh
|
|
MAKE_JOBS_UNSAFE= yes
|
|
|
|
DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME}
|
|
|
|
PORTDOCS= *
|
|
|
|
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 <bsd.port.mk>
|