42 lines
1,009 B
Makefile
42 lines
1,009 B
Makefile
# Created by: andrewb@cs.cmu.edu
|
|
# $FreeBSD$
|
|
|
|
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
|
|
|
|
USE_TEX= tex:build
|
|
|
|
.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)
|
|
|
|
NO_STAGE= yes
|
|
post-patch:
|
|
@${REINPLACE_CMD} -e "s|%%PREFIX%%|${PREFIX}|g" ${WRKSRC}/Makefile
|
|
|
|
.include <bsd.port.mk>
|