aboutsummaryrefslogtreecommitdiffstats
path: root/lang/dlv/Makefile
blob: 190f0b356d1b00b18d8c719d600d4715e0cf3b97 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
# New ports collection Makefile for:    dlv
# Date created:             2007-06-01
# Whom:                 arved
#
# $FreeBSD$

PORTNAME=   dlv
PORTVERSION=    20060714
CATEGORIES= lang
MASTER_SITES=   http://www.dbai.tuwien.ac.at/proj/dlv/
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
RESTRICTED= Not sure if we can redistribute it

do-extract:
    ${RM} -rf ${WRKDIR}
    ${MKDIR} ${WRKDIR}

do-install:
    ${INSTALL_PROGRAM} ${DISTDIR}/${DISTNAME} ${PREFIX}/bin/dlv
    ${BRANDELF} -t Linux ${PREFIX}/bin/dlv

.include <bsd.port.mk>