Date: Tue, 15 Aug 2006 20:23:10 +0600 (YEKST) From: Stanislav Sedov <ssedov@mbsd.msk.ru> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/102103: [NEW PORT] lang/IMP: Monadic interpreter of a simple imperative language Message-ID: <20060815142311.07FCA11F54@fonon.realnet> Resent-Message-ID: <200608151630.k7FGUNrx041081@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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@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@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@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@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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20060815142311.07FCA11F54>