Attachment 69870 Details for Bug 102103 – IMP-1.0.6.shar

IMP-1.0.6.shar

IMP-1.0.6.shar (text/plain), 2.31 KB, created by Stanislav Sedov on 2006-08-15 17:30:23 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Stanislav Sedov

Created: 2006-08-15 17:30:23 UTC

Size: 2.31 KB

patch

obsolete

># 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

Actions: View

Attachments on bug 102103: 69870