mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-27 00:57:50 +00:00
a3286022d8
- fix fetch [1] - remove indefinite article from COMMENT - tab -> space change in pkg-descr:WWW PR: 176702 Reported by: John Marino <draco@marino.st> [1]
28 lines
554 B
Makefile
28 lines
554 B
Makefile
# Created by: arved
|
|
# $FreeBSD$
|
|
|
|
PORTNAME= dlv
|
|
PORTVERSION= 20121217
|
|
CATEGORIES= lang
|
|
MASTER_SITES= http://www.dlvsystem.com/files/
|
|
DISTNAME= dlv.i386-linux-elf-static.bin
|
|
EXTRACT_SUFX=
|
|
|
|
MAINTAINER= ports@FreeBSD.org
|
|
COMMENT= Disjunctive Datalog System
|
|
|
|
NO_BUILD= yes
|
|
PLIST_FILES= bin/dlv
|
|
ONLY_FOR_ARCHS= i386 amd64
|
|
RESTRICTED= Not sure if we can redistribute it
|
|
|
|
do-extract:
|
|
${RM} -rf ${WRKDIR}
|
|
${MKDIR} ${WRKDIR}
|
|
|
|
do-install:
|
|
${INSTALL_SCRIPT} ${DISTDIR}/${DISTNAME} ${PREFIX}/bin/dlv
|
|
${BRANDELF} -t Linux ${PREFIX}/bin/dlv
|
|
|
|
.include <bsd.port.mk>
|