ports/102103: [NEW PORT] lang/IMP: Monadic interpreter of a simple imperative language

[Stanislav Sedov]

>Number:         102103
>Category:       ports
>Synopsis:       [NEW PORT] lang/IMP: Monadic interpreter of a simple imperative language
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          change-request
>Submitter-Id:   current-users
>Arrival-Date:   Tue Aug 15 16:30:23 GMT 2006
>Closed-Date:
>Last-Modified:
>Originator:     Stanislav Sedov
>Release:        FreeBSD 7.0-CURRENT i386
>Organization:
MBSD labs, Inc.
>Environment:
System: FreeBSD fonon.realnet 7.0-CURRENT FreeBSD 7.0-CURRENT #1: Wed Aug  2 21:44:37 MSD
>Description:
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 at gmail.com>
WWW:	http://www.ocaml.info/home/ocaml_sources.html

>How-To-Repeat:
>Fix:

--- IMP-1.0.6.shar begins here ---
# This is a shell archive.  Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file".  Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
#	IMP
#	IMP/pkg-descr
#	IMP/Makefile
#	IMP/distinfo
#
echo c - IMP
mkdir -p IMP > /dev/null 2>&1
echo x - IMP/pkg-descr
sed 's/^X//' >IMP/pkg-descr << 'END-of-IMP/pkg-descr'
XIMP is a monadic style implementation of the semantics of the (very simple)
Xlanguage IMP, "plain" the implementation with explicit passing of state.
X                                                                                
XThe semantics of the IMP-language is presented in the book:
X
X  "The Formal Semantics of Programming Languages" by Glynn Winskel
X  (1993, The MIT Press).
X
XFor more details on monads, see Philip Wadler's page on:
X
X http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html#combining-monads
X
XAuthor:	Markus Mottl <markus.mottl at gmail.com>
XWWW:	http://www.ocaml.info/home/ocaml_sources.html
END-of-IMP/pkg-descr
echo x - IMP/Makefile
sed 's/^X//' >IMP/Makefile << 'END-of-IMP/Makefile'
X# New ports collection makefile for:	IMP
X# Date created:		2006-08-15
X# Whom:			Stanislav Sedov <ssedov at mbsd.msk.ru>
X#
X# $MBSDlabs$
X# $FreeBSD$
X#
X
XPORTNAME=	IMP
XPORTVERSION=	1.0.6
XCATEGORIES=	lang
XMASTER_SITES=	http://www.ocaml.info/ocaml_sources/
X
XMAINTAINER=	ssedov at mbsd.msk.ru
XCOMMENT=	Monadic interpreter of a simple imperative language
X
XUSE_BZIP2=	yes
XUSE_GMAKE=	yes
XUSE_OCAML=	yes
XNO_OCAML_RUNDEPENDS=yes
X
XWRKSRC=		${WRKDIR}/${PORTNAME}-${PORTVERSION}/monad
XALL_TARGET=	nc
X
XPLIST_FILES=	bin/IMP
X
X.if !defined(NOPORTDOCS)
XPORTDOCS=	README
X.endif
X
X.include <bsd.port.pre.mk>
X.include "${PORTSDIR}/lang/ocaml/bsd.ocaml.mk"
X
Xdo-install:
X	${INSTALL_PROGRAM} ${WRKSRC}/main ${TARGETDIR}/bin/IMP
X
Xpost-install:
X.if !defined(NOPORTDOCS)
X	@${MKDIR} ${DOCSDIR}
X	${INSTALL_DATA} ${PORTDOCS:S,^,${WRKSRC}/../,} ${DOCSDIR}
X.endif
X
X.include <bsd.port.post.mk>
END-of-IMP/Makefile
echo x - IMP/distinfo
sed 's/^X//' >IMP/distinfo << 'END-of-IMP/distinfo'
XMD5 (IMP-1.0.6.tar.bz2) = 9807e6fd483f0d258de58f89522d5e99
XSHA256 (IMP-1.0.6.tar.bz2) = 0c9e7c6744a15d2b74ba41eb6a389dddc601325592bf1be19b3a25088e45e761
XSIZE (IMP-1.0.6.tar.bz2) = 10608
END-of-IMP/distinfo
exit
--- IMP-1.0.6.shar ends here ---

>Release-Note:
>Audit-Trail:
>Unformatted: