2007-06-01 19:16:40 +02:00
|
|
|
# New ports collection Makefile for: dlv
|
|
|
|
|
# Date created: 2007-06-01
|
|
|
|
|
# Whom: arved
|
|
|
|
|
#
|
|
|
|
|
# $FreeBSD$
|
|
|
|
|
|
|
|
|
|
PORTNAME= dlv
|
2007-12-12 13:35:43 +01:00
|
|
|
PORTVERSION= 20071011
|
2007-06-01 19:16:40 +02:00
|
|
|
CATEGORIES= lang
|
2009-08-31 09:27:27 +02:00
|
|
|
MASTER_SITES= http://www.dbai.tuwien.ac.at/research/project/dlv/ \
|
|
|
|
|
http://www.dbai.tuwien.ac.at/proj/dlv/
|
2007-06-01 19:16:40 +02:00
|
|
|
DISTNAME= dlv.i386-linux-elf-static.bin
|
|
|
|
|
EXTRACT_SUFX=
|
|
|
|
|
|
|
|
|
|
MAINTAINER= arved@FreeBSD.org
|
|
|
|
|
COMMENT= A Disjunctive Datalog System
|
|
|
|
|
|
|
|
|
|
NO_BUILD= yes
|
|
|
|
|
PLIST_FILES= bin/dlv
|
|
|
|
|
ONLY_FOR_ARCHS= i386 amd64
|
2007-06-01 20:10:41 +02:00
|
|
|
RESTRICTED= Not sure if we can redistribute it
|
2007-06-01 19:16:40 +02:00
|
|
|
|
|
|
|
|
do-extract:
|
2007-06-02 19:27:15 +02:00
|
|
|
${RM} -rf ${WRKDIR}
|
|
|
|
|
${MKDIR} ${WRKDIR}
|
2007-06-01 19:16:40 +02:00
|
|
|
|
|
|
|
|
do-install:
|
|
|
|
|
${INSTALL_PROGRAM} ${DISTDIR}/${DISTNAME} ${PREFIX}/bin/dlv
|
|
|
|
|
${BRANDELF} -t Linux ${PREFIX}/bin/dlv
|
|
|
|
|
|
|
|
|
|
.include <bsd.port.mk>
|
