diff options
| author | Wesley Shields <wxs@FreeBSD.org> | 2009-04-11 03:00:02 +0000 |
|---|---|---|
| committer | Wesley Shields <wxs@FreeBSD.org> | 2009-04-11 03:00:02 +0000 |
| commit | 0ece797080aa750f30d29eb272ebedba32435a0b (patch) | |
| tree | 02506e363d466942a41d9019c3c13c3cf2eea1dc /lang/twelf/Makefile | |
| parent | f9c525958bf56af8cd958ac259643d35489a636e (diff) | |
| download | ports-0ece797080aa750f30d29eb272ebedba32435a0b.tar.gz ports-0ece797080aa750f30d29eb272ebedba32435a0b.zip | |
Notes
Diffstat (limited to 'lang/twelf/Makefile')
| -rw-r--r-- | lang/twelf/Makefile | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index 97ec56aed0bc..d1999c52b042 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -6,21 +6,37 @@ # PORTNAME= twelf -PORTVERSION= 1.4 +PORTVERSION= 1.5R1 CATEGORIES= lang MASTER_SITES= http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/ -DISTNAME= twelf-1-4 +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)" +RESTRICTED= License is currently indeterminate (expected to be GPL) post-patch: @${REINPLACE_CMD} -e "s|%%PREFIX%%|${PREFIX}|g" ${WRKSRC}/Makefile |