1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-24 04:33:24 +00:00
freebsd-ports/devel/menhir/Makefile
John Marino 3064db6406 devel/menhir: Upgrade version 20080912 => 20140422 and stage
PR:		191816
Submitted by:	Ports Fury
2014-07-30 22:14:02 +00:00

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>