blob: 8e790e9e68132fa8382d62135c6e0756b876487f (
plain)
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
29
|
# 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 <bsd.port.mk>
|
