# Ports collection makefile for: twelf # Date created: 7/8/5 # Whom: andrewb@cs.cmu.edu # # $FreeBSD$ # PORTNAME= twelf PORTVERSION= 1.4 CATEGORIES= lang MASTER_SITES= http://www-2.cs.cmu.edu/~twelf/dist/ http://www.cs.cmu.edu/~twelf/dist/ DISTNAME= twelf-1-4 MAINTAINER= andrewb@cs.cmu.edu COMMENT= A meta-logical framework for deductive systems RUN_DEPENDS= sml:${PORTSDIR}/lang/sml-nj BUILD_DEPENDS= sml:${PORTSDIR}/lang/sml-nj WRKSRC= ${WRKDIR}/twelf USE_REINPLACE= yes INFO= twelf RESTRICTED= "License is currently indeterminate (expected to be GPL)" post-patch: @${REINPLACE_CMD} -e "s|%%PREFIX%%|${PREFIX}|g" ${WRKSRC}/Makefile .include