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


1.9
date	2012.11.17.05.58.58;	author svnexp;	state Exp;
branches;
next	1.8;

1.8
date	2012.06.01.05.21.21;	author dinoex;	state Exp;
branches;
next	1.7;

1.7
date	2011.05.02.12.44.42;	author makc;	state Exp;
branches;
next	1.6;

1.6
date	2010.03.28.06.38.58;	author dinoex;	state Exp;
branches;
next	1.5;

1.5
date	2010.02.05.11.40.19;	author dinoex;	state Exp;
branches;
next	1.4;

1.4
date	2009.07.31.13.53.17;	author dinoex;	state Exp;
branches;
next	1.3;

1.3
date	2009.04.11.03.00.01;	author wxs;	state Exp;
branches;
next	1.2;

1.2
date	2006.05.09.20.52.24;	author edwin;	state Exp;
branches;
next	1.1;

1.1
date	2005.11.26.12.49.47;	author edwin;	state Exp;
branches;
next	;


desc
@@


1.9
log
@Switch exporter over
@
text
@# Ports collection makefile for:	twelf
# Date created:		7/8/5
# Whom:			andrewb@@cs.cmu.edu
#
# $FreeBSD: head/lang/twelf/Makefile 300896 2012-07-14 13:54:48Z beat $
#

PORTNAME=	twelf
PORTVERSION=	1.5R1
PORTREVISION=	5
CATEGORIES=	lang
MASTER_SITES=	http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/
DISTNAME=	twelf-1-5R1

MAINTAINER=	andrewb@@cs.cmu.edu
COMMENT=	A meta-logical framework for deductive systems

.if defined(WITH_MLTON)
RUN_DEPENDS=	mlton:${PORTSDIR}/lang/mlton
BUILD_DEPENDS=	mlton:${PORTSDIR}/lang/mlton
.elif defined(WITH_SML_NJ_DEVEL)
RUN_DEPENDS=	sml:${PORTSDIR}/lang/sml-nj-devel
BUILD_DEPENDS=	sml:${PORTSDIR}/lang/sml-nj-devel
.else
RUN_DEPENDS=	sml:${PORTSDIR}/lang/sml-nj
BUILD_DEPENDS=	sml:${PORTSDIR}/lang/sml-nj
.endif

BUILD_DEPENDS+=	tex:${PORTSDIR}/print/teTeX

.if defined(WITH_MLTON)
MAKEFILE=	mlton/Makefile
.elif defined(WITH_SML_NJ_DEVEL)
MAKEFILE=	smlnj/Makefile
.endif

WRKSRC=		${WRKDIR}/twelf
INFO=		twelf

RESTRICTED=	License is currently indeterminate (expected to be GPL)

post-patch:
	@@${REINPLACE_CMD} -e "s|%%PREFIX%%|${PREFIX}|g" ${WRKSRC}/Makefile

.include <bsd.port.mk>
@


1.8
log
@- update png to 1.5.10
@
text
@d5 1
a5 1
# $FreeBSD$
@


1.7
log
@Bump PORTREVISION after open-mofit update
@
text
@d10 1
a10 1
PORTREVISION=	4
@


1.6
log
@- update to 1.4.1
Reviewed by:	exp8 run on pointyhat
Supported by:	miwi
@
text
@d10 1
a10 1
PORTREVISION=	3
@


1.5
log
@- update to jpeg-8
@
text
@d10 1
a10 1
PORTREVISION=	2
@


1.4
log
@- bump all port that indirectly depends on libjpeg and have not yet been bumped or updated
Requested by:	edwin
@
text
@d10 1
a10 1
PORTREVISION=	1
@


1.3
log
@- Update to 1.5R1

PR:		ports/131631
Submitted by:	Andrew Bernard <andrewb@@cs.cmu.edu> (maintainer)
@
text
@d10 1
@


1.2
log
@Remove USE_REINPLACE from the categories starting with L
@
text
@d9 1
a9 1
PORTVERSION=	1.4
d12 1
a12 1
DISTNAME=	twelf-1-4
d17 7
d26 9
d39 1
a39 1
RESTRICTED=	"License is currently indeterminate (expected to be GPL)"
@


1.1
log
@New port: lang/twelf A meta-logical framework for deductive systems

	The Twelf implementation comprises
	 * the LF logical framework, including type reconstruction;
	 * the Elf constraint logic programming language;
	 * an inductive meta-theorem prover for LF;
	 * and an Emacs interface.

PR:		ports/84625
Submitted by:	"Andrew Bernard" <andrew@@hobnob.com>
@
text
@a20 1
USE_REINPLACE=	yes
@

