diff options
| author | Tilman Keskinoz <arved@FreeBSD.org> | 2007-06-01 17:16:40 +0000 |
|---|---|---|
| committer | Tilman Keskinoz <arved@FreeBSD.org> | 2007-06-01 17:16:40 +0000 |
| commit | 6ba4589f57b73768e7af37f3a0b266341182ac75 (patch) | |
| tree | 4bfc576e99f8074a7f862e9a71ec279bdfbb81ed /lang/dlv | |
| parent | 0744663c925b76894267abb56676b138b9dc716e (diff) | |
| download | ports-6ba4589f57b73768e7af37f3a0b266341182ac75.tar.gz ports-6ba4589f57b73768e7af37f3a0b266341182ac75.zip | |
Add dlv, a disjunctive Datalog System
Notes
Notes:
svn path=/head/; revision=192545
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/ |