mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-01 05:45:45 +00:00
9167338b4d
language IMP, "plain" the implementation with explicit passing of state.
The semantics of the IMP-language is presented in the book:
"The Formal Semantics of Programming Languages" by Glynn Winskel
(1993, The MIT Press).
for more details on monads, see Philip Wadler's page on:
http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#combining-monads
Author: Markus Mottl <markus.mottl@gmail.com>
WWW: http://www.ocaml.info/home/ocaml_sources.html
PR: ports/102103
Submitted by: Stanislav Sedov <ssedov@mbsd.msk.ru>
Approved by: krion (mentor)
44 lines
864 B
Makefile
44 lines
864 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.6
|
|
CATEGORIES= lang
|
|
MASTER_SITES= http://www.ocaml.info/ocaml_sources/
|
|
|
|
MAINTAINER= ssedov@mbsd.msk.ru
|
|
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>
|
|
.include "${PORTSDIR}/lang/ocaml/bsd.ocaml.mk"
|
|
|
|
do-install:
|
|
${INSTALL_PROGRAM} ${WRKSRC}/main ${TARGETDIR}/bin/IMP
|
|
|
|
post-install:
|
|
.if !defined(NOPORTDOCS)
|
|
@${MKDIR} ${DOCSDIR}
|
|
${INSTALL_DATA} ${PORTDOCS:S,^,${WRKSRC}/../,} ${DOCSDIR}
|
|
.endif
|
|
|
|
.include <bsd.port.post.mk>
|