diff options
| author | Martin Wilke <miwi@FreeBSD.org> | 2006-08-17 21:16:30 +0000 |
|---|---|---|
| committer | Martin Wilke <miwi@FreeBSD.org> | 2006-08-17 21:16:30 +0000 |
| commit | 9167338b4d03d5de89fd76f380dfaf1ef5ac3923 (patch) | |
| tree | a299ee5b2938a8e4a49000064a05940a6a310f0d /lang/imp-interpreter | |
| parent | f21f4c823fdec67932125affaed410c152638f0f (diff) | |
Notes
Diffstat (limited to 'lang/imp-interpreter')
| -rw-r--r-- | lang/imp-interpreter/Makefile | 43 | ||||
| -rw-r--r-- | lang/imp-interpreter/distinfo | 3 | ||||
| -rw-r--r-- | lang/imp-interpreter/pkg-descr | 14 |
3 files changed, 60 insertions, 0 deletions
diff --git a/lang/imp-interpreter/Makefile b/lang/imp-interpreter/Makefile new file mode 100644 index 000000000000..7116910ee599 --- /dev/null +++ b/lang/imp-interpreter/Makefile @@ -0,0 +1,43 @@ +# 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> diff --git a/lang/imp-interpreter/distinfo b/lang/imp-interpreter/distinfo new file mode 100644 index 000000000000..ee7874c84842 --- /dev/null +++ b/lang/imp-interpreter/distinfo @@ -0,0 +1,3 @@ +MD5 (IMP-1.0.6.tar.bz2) = 9807e6fd483f0d258de58f89522d5e99 +SHA256 (IMP-1.0.6.tar.bz2) = 0c9e7c6744a15d2b74ba41eb6a389dddc601325592bf1be19b3a25088e45e761 +SIZE (IMP-1.0.6.tar.bz2) = 10608 diff --git a/lang/imp-interpreter/pkg-descr b/lang/imp-interpreter/pkg-descr new file mode 100644 index 000000000000..e5b8c0c793b2 --- /dev/null +++ b/lang/imp-interpreter/pkg-descr @@ -0,0 +1,14 @@ +IMP is a monadic style implementation of the semantics of the (very simple) +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 |