Changeset View
Changeset View
Standalone View
Standalone View
lang/dlv/Makefile
# Created by: arved | # Created by: arved | ||||
PORTNAME= dlv | PORTNAME= dlv | ||||
PORTVERSION= 20121217 | PORTVERSION= 20121217 | ||||
CATEGORIES= lang | CATEGORIES= lang | ||||
MASTER_SITES= http://www.dlvsystem.com/files/ | MASTER_SITES= http://www.dlvsystem.com/files/ | ||||
DISTNAME= dlv.i386-linux-elf-static.bin | DISTNAME= dlv.i386-linux-elf-static.bin | ||||
EXTRACT_SUFX= | EXTRACT_SUFX= | ||||
MAINTAINER= ports@FreeBSD.org | MAINTAINER= ports@FreeBSD.org | ||||
COMMENT= Disjunctive Datalog System | COMMENT= Disjunctive Datalog System | ||||
# Converted from RESTRICTED | |||||
LICENSE= dlv | |||||
LICENSE_NAME= dlv | |||||
LICENSE_TEXT= Not sure if we can redistribute it | |||||
LICENSE_PERMS= auto-accept | |||||
BROKEN= unfetchable | BROKEN= unfetchable | ||||
NO_WRKSUBDIR= yes | NO_WRKSUBDIR= yes | ||||
EXTRACT_CMD= ${CP} | EXTRACT_CMD= ${CP} | ||||
EXTRACT_BEFORE_ARGS= | EXTRACT_BEFORE_ARGS= | ||||
EXTRACT_AFTER_ARGS= ${WRKSRC} | EXTRACT_AFTER_ARGS= ${WRKSRC} | ||||
PLIST_FILES= bin/dlv | PLIST_FILES= bin/dlv | ||||
ONLY_FOR_ARCHS= i386 amd64 | ONLY_FOR_ARCHS= i386 amd64 | ||||
RESTRICTED= Not sure if we can redistribute it | |||||
do-build: | do-build: | ||||
${BRANDELF} -t Linux ${WRKSRC}/${DISTNAME} | ${BRANDELF} -t Linux ${WRKSRC}/${DISTNAME} | ||||
do-install: | do-install: | ||||
${INSTALL_SCRIPT} ${WRKSRC}/${DISTNAME} ${STAGEDIR}${PREFIX}/bin/dlv | ${INSTALL_SCRIPT} ${WRKSRC}/${DISTNAME} ${STAGEDIR}${PREFIX}/bin/dlv | ||||
.include <bsd.port.mk> | .include <bsd.port.mk> |