mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-03 06:04:53 +00:00
42542fb076
fully chrooted DESTDIR, which does not need such any more. Sponsored by: Google Summer of Code 2007 Approved by: portmgr (pav)
44 lines
828 B
Makefile
44 lines
828 B
Makefile
# New ports collection makefile for: imp-interpreter
|
|
# Date created: 2006-08-15
|
|
# Whom: Stanislav Sedov <ssedov@mbsd.msk.ru>
|
|
#
|
|
# $MBSDlabs$
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= IMP
|
|
PORTVERSION= 1.0.7
|
|
PORTREVISION= 1
|
|
CATEGORIES= lang
|
|
MASTER_SITES= http://www.ocaml.info/ocaml_sources/
|
|
|
|
MAINTAINER= stas@FreeBSD.org
|
|
COMMENT= Monadic interpreter of a simple imperative language
|
|
|
|
USE_BZIP2= yes
|
|
USE_GMAKE= yes
|
|
USE_OCAML= yes
|
|
NO_OCAML_RUNDEPENDS= yes
|
|
|
|
WRKSRC= ${WRKDIR}/${PORTNAME}-${PORTVERSION}/monad
|
|
ALL_TARGET= nc
|
|
|
|
PLIST_FILES= bin/IMP
|
|
|
|
.if !defined(NOPORTDOCS)
|
|
PORTDOCS= README
|
|
.endif
|
|
|
|
.include <bsd.port.pre.mk>
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKSRC}/main ${PREFIX}/bin/IMP
|
|
|
|
post-install:
|
|
.if !defined(NOPORTDOCS)
|
|
@${MKDIR} ${DOCSDIR}
|
|
${INSTALL_DATA} ${PORTDOCS:S,^,${WRKSRC}/../,} ${DOCSDIR}
|
|
.endif
|
|
|
|
.include <bsd.port.post.mk>
|