mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-29 01:13:08 +00:00
40 lines
915 B
Makefile
40 lines
915 B
Makefile
# Created by: Jaap Boender <jaapb@kerguelen.org>
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= menhir
|
|
PORTVERSION= 20140422
|
|
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
|
|
MAKE_JOBS_UNSAFE= yes
|
|
|
|
DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME}
|
|
|
|
PORTDOCS= *
|
|
PLIST_FILES= bin/menhir man/man1/menhir.1.gz %%DATADIR%%/standard.mly
|
|
PLIST_DIRS= %%DATADIR%%
|
|
|
|
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>
|