# 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