diff options
| author | arved <arved@FreeBSD.org> | 2007-06-02 01:16:40 +0800 |
|---|---|---|
| committer | arved <arved@FreeBSD.org> | 2007-06-02 01:16:40 +0800 |
| commit | af5c41ef1db71b016ace372f15327cc76d026c47 (patch) | |
| tree | 489d36e1c36366d95379db9ffc95a129f2ca9e06 /lang/dlv | |
| parent | 2b71078ae202e019b243472b459f35d8c5cf8b95 (diff) | |
| download | freebsd-ports-gnome-af5c41ef1db71b016ace372f15327cc76d026c47.tar.gz freebsd-ports-gnome-af5c41ef1db71b016ace372f15327cc76d026c47.tar.zst freebsd-ports-gnome-af5c41ef1db71b016ace372f15327cc76d026c47.zip | |
Add dlv, a disjunctive Datalog System
Diffstat (limited to 'lang/dlv')
| -rw-r--r-- | lang/dlv/Makefile | 27 | ||||
| -rw-r--r-- | lang/dlv/distinfo | 3 | ||||
| -rw-r--r-- | lang/dlv/pkg-descr | 11 |
3 files changed, 41 insertions, 0 deletions
diff --git a/lang/dlv/Makefile b/lang/dlv/Makefile new file mode 100644 index 000000000000..c209e8738818 --- /dev/null +++ b/lang/dlv/Makefile @@ -0,0 +1,27 @@ +# 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 + +do-extract: + +do-install: + ${INSTALL_PROGRAM} ${DISTDIR}/${DISTNAME} ${PREFIX}/bin/dlv + ${BRANDELF} -t Linux ${PREFIX}/bin/dlv + +.include <bsd.port.mk> diff --git a/lang/dlv/distinfo b/lang/dlv/distinfo new file mode 100644 index 000000000000..6592bb5c9a6c --- /dev/null +++ b/lang/dlv/distinfo @@ -0,0 +1,3 @@ +MD5 (dlv.i386-linux-elf-static.bin) = 53b081dabad026fc5f8c7eb1a6ee7c7d +SHA256 (dlv.i386-linux-elf-static.bin) = eb5de2da04b86cb9c78fea376615fb3ce58448c166e5e7b3bf034694f3d630cc +SIZE (dlv.i386-linux-elf-static.bin) = 2139060 diff --git a/lang/dlv/pkg-descr b/lang/dlv/pkg-descr new file mode 100644 index 000000000000..dc456f2a07b8 --- /dev/null +++ b/lang/dlv/pkg-descr @@ -0,0 +1,11 @@ +DLV is a system for disjunctive datalog with constraints, true negation +and queries. + +The DLV system also includes + + * the K planning system, + * a frontend for abductive diagnosis and Reiter's diagnosis, + * support for inheritance, and + * an SQL frontend which prototypes some novel SQL3 features. + +WWW: http://www.dbai.tuwien.ac.at/proj/dlv/ |