mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-24 00:45:52 +00:00
2666b54c71
PR: ports/132061 Submitted by: maintainer
33 lines
679 B
Makefile
33 lines
679 B
Makefile
# New ports collection makefile for: menhir
|
|
# Date created: 5 March 2007
|
|
# Whom: Jaap Boender <jaapb@kerguelen.org>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= menhir
|
|
PORTVERSION= 20080912
|
|
CATEGORIES= devel
|
|
MASTER_SITES= http://cristal.inria.fr/~fpottier/menhir/
|
|
|
|
MAINTAINER= jaapb@kerguelen.org
|
|
COMMENT= LR(1) parser generator for OCaml
|
|
|
|
USE_GMAKE= yes
|
|
USE_OCAML= yes
|
|
USE_OCAML_FINDLIB= yes
|
|
USE_OCAMLFIND_PLIST= yes
|
|
OCAML_PKGDIRS= menhirLib
|
|
|
|
INSTALL_TARGET= install
|
|
MAKE_ENV+= mandir="${MANPREFIX}/man/man1"
|
|
MAN1= menhir.1
|
|
|
|
.if !defined(NOPORTDOCS)
|
|
INSTALL_TARGET+= docinstall
|
|
DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME}
|
|
MAKE_ENV+= docdir="${DOCSDIR}"
|
|
.endif
|
|
|
|
.include <bsd.port.mk>
|