head	1.9;
access;
symbols
	RELEASE_8_3_0:1.6
	RELEASE_9_0_0:1.6
	RELEASE_7_4_0:1.5
	RELEASE_8_2_0:1.5
	RELEASE_6_EOL:1.5
	RELEASE_8_1_0:1.5
	RELEASE_7_3_0:1.5
	RELEASE_8_0_0:1.5
	RELEASE_7_2_0:1.5
	RELEASE_7_1_0:1.5
	RELEASE_6_4_0:1.5
	RELEASE_5_EOL:1.5
	RELEASE_7_0_0:1.5
	RELEASE_6_3_0:1.5
	PRE_XORG_7:1.3
	RELEASE_4_EOL:1.2
	RELEASE_6_2_0:1.1;
locks; strict;
comment	@# @;


1.9
date	2012.11.28.10.35.18;	author svnexp;	state dead;
branches;
next	1.8;

1.8
date	2012.11.17.05.58.51;	author svnexp;	state Exp;
branches;
next	1.7;

1.7
date	2012.10.26.14.57.50;	author bapt;	state Exp;
branches;
next	1.6;

1.6
date	2011.10.24.03.33.08;	author stas;	state Exp;
branches;
next	1.5;

1.5
date	2007.08.04.11.40.59;	author gabor;	state Exp;
branches;
next	1.4;

1.4
date	2007.05.19.20.13.40;	author flz;	state Exp;
branches;
next	1.3;

1.3
date	2007.03.14.04.12.24;	author linimon;	state Exp;
branches;
next	1.2;

1.2
date	2006.12.09.11.51.22;	author stas;	state Exp;
branches;
next	1.1;

1.1
date	2006.08.17.21.16.30;	author miwi;	state Exp;
branches;
next	;


desc
@@


1.9
log
@## SVN ##
## SVN ## Exported commit - http://svnweb.freebsd.org/changeset/base/307898
## SVN ## CVS IS DEPRECATED: http://wiki.freebsd.org/CvsIsDeprecated
## SVN ##
## SVN ## ------------------------------------------------------------------------
## SVN ## r307898 | bapt | 2012-11-28 10:32:44 +0000 (Wed, 28 Nov 2012) | 15 lines
## SVN ##
## SVN ## 2012-11-27 java/jmp: Java 1.5 is EOLed
## SVN ## 2012-11-26 irc/tr-ircd: No more public distfiles
## SVN ## 2012-11-26 lang/imp-interpreter: No more public distfiles
## SVN ## 2012-11-26 games/xquarto: No more public distfiles
## SVN ## 2012-11-26 games/six: No more public distfiles
## SVN ## 2012-11-26 finance/gfp: No more public distfiles
## SVN ## 2012-11-26 games/44bsd-hunt: No more public distfiles
## SVN ## 2012-11-26 graphics/ale: No more public distfiles
## SVN ## 2012-11-26 german/digibux: No more public distfiles
## SVN ## 2012-11-26 java/eclipse-clay-core: No more public distfiles
## SVN ## 2012-11-26 games/xbloody: No more public distfiles
## SVN ## 2012-11-26 dns/sqldjbdns: No more public distfiles
## SVN ##
## SVN ## Feature safe:	yes
## SVN ##
## SVN ## ------------------------------------------------------------------------
## SVN ##
@
text
@# Created by: Stanislav Sedov <ssedov@@mbsd.msk.ru>
# $FreeBSD: head/lang/imp-interpreter/Makefile 306447 2012-10-26 14:57:50Z bapt $
#

PORTNAME=	IMP
PORTVERSION=	1.0.7
PORTREVISION=	1
CATEGORIES=	lang
MASTER_SITES=	http://www.ocaml.info/ocaml_sources/

MAINTAINER=	ports@@FreeBSD.org
COMMENT=	Monadic interpreter of a simple imperative language

DEPRECATED=	No more public distfiles
EXPIRATION_DATE=	2012-11-26

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>

do-install:
	${INSTALL_PROGRAM} ${WRKSRC}/main ${PREFIX}/bin/IMP

post-install:
.if !defined(NOPORTDOCS)
	@@${MKDIR} ${DOCSDIR}
	${INSTALL_DATA} ${PORTDOCS:S,^,${WRKSRC}/../,} ${DOCSDIR}
.endif

.include <bsd.port.post.mk>
@


1.8
log
@Switch exporter over
@
text
@@


1.7
log
@SVN rev 306447 on 2012-10-26 14:57:50Z by bapt

Deprecate a bunch of ports that are either abandonware and/or for which no more
public distfiles are available, or for which are -devel version with a more
recent stable version for long

Feature safe:	yes
@
text
@d2 1
a2 1
# $FreeBSD$
@


1.6
log
@- Return my ports back to the pool.  I was unable to make any fixes to
  my ports in the past 3 weeks while ports were broken on any 10.x
  machines, which means I'm unable to maintain them.  So let people know
  that there's no available support for them until things are back to
  normal (which also means that anyone with spare time will be able
  to fix them without getting approval).
@
text
@d1 1
a1 5
# New ports collection makefile for:	imp-interpreter
# Date created:		2006-08-15
# Whom:			Stanislav Sedov <ssedov@@mbsd.msk.ru>
#
# $MBSDlabs$
d14 3
@


1.5
log
@- Remove the DESTDIR modifications from individual ports as we have a new,
  fully chrooted DESTDIR, which does not need such any more.

Sponsored by:	Google Summer of Code 2007
Approved by:	portmgr (pav)
@
text
@d15 1
a15 1
MAINTAINER=	stas@@FreeBSD.org
@


1.4
log
@- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
@
text
@d35 1
a35 1
	${INSTALL_PROGRAM} ${WRKSRC}/main ${TARGETDIR}/bin/IMP
@


1.3
log
@Switch to using new files Mk/bsd.ocaml.mk [1] and Mk/bsd.xfce.mk [2].

PR:	101029 [1], 108862 [2]

Submitted by:	Stanislav Sedov <ssedov at mbsd dot msk dot ru> [1], oliver [2]
@
text
@d11 1
@


1.2
log
@- Update to 1.0.7
- Change my email
@
text
@a31 1
.include "${PORTSDIR}/lang/ocaml/bsd.ocaml.mk"
@


1.1
log
@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

PR:		ports/102103
Submitted by:	Stanislav Sedov <ssedov@@mbsd.msk.ru>
Approved by:	krion (mentor)
@
text
@d10 1
a10 1
PORTVERSION=	1.0.6
d14 1
a14 1
MAINTAINER=	ssedov@@mbsd.msk.ru
@

