aboutsummaryrefslogtreecommitdiffstats
path: root/lang/twelf/Makefile
blob: 97ec56aed0bcec378374af267dc7c31ab822051c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
# 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
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>