mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-03 01:23:49 +00:00
70b1179c61
The Twelf implementation comprises * the LF logical framework, including type reconstruction; * the Elf constraint logic programming language; * an inductive meta-theorem prover for LF; * and an Emacs interface. PR: ports/84625 Submitted by: "Andrew Bernard" <andrew@hobnob.com>
30 lines
671 B
Makefile
30 lines
671 B
Makefile
# 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>
|