mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-22 04:17:44 +00:00
d3adf92d67
PR: ports/123071 Submitted by: Jaap Boender <jaapb kerguelen.org> (maintainer) Approved by: maintainer timeout, thierry (mentor)
31 lines
628 B
Makefile
31 lines
628 B
Makefile
# New ports collection makefile for: menhir
|
|
# Date created: 5 March 2007
|
|
# Whom: Jaap Boender <jaapb@kerguelen.org>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= menhir
|
|
PORTVERSION= 20071212
|
|
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
|
|
|
|
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>
|