aboutsummaryrefslogtreecommitdiff
path: root/devel/menhir/Makefile
blob: 0a5412c0e773a4310f2240238b5f435a11f4ff39 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
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

BUILD_DEPENDS=	ocamlbuild:devel/ocaml-ocamlbuild

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>