aboutsummaryrefslogtreecommitdiff
path: root/lang/dlv
diff options
context:
space:
mode:
Diffstat (limited to 'lang/dlv')
-rw-r--r--lang/dlv/Makefile9
-rw-r--r--lang/dlv/distinfo4
-rw-r--r--lang/dlv/pkg-descr2
3 files changed, 7 insertions, 8 deletions
diff --git a/lang/dlv/Makefile b/lang/dlv/Makefile
index d250ce145207..aa332274c349 100644
--- a/lang/dlv/Makefile
+++ b/lang/dlv/Makefile
@@ -5,14 +5,13 @@
# $FreeBSD$
PORTNAME= dlv
-PORTVERSION= 20071011
+PORTVERSION= 20111221
CATEGORIES= lang
-MASTER_SITES= http://www.dbai.tuwien.ac.at/research/project/dlv/ \
- http://www.dbai.tuwien.ac.at/proj/dlv/
+MASTER_SITES= http://www.dlvsystem.com/dlvsystem/files/
DISTNAME= dlv.i386-linux-elf-static.bin
EXTRACT_SUFX=
-MAINTAINER= arved@FreeBSD.org
+MAINTAINER= ports@FreeBSD.org
COMMENT= A Disjunctive Datalog System
NO_BUILD= yes
@@ -25,7 +24,7 @@ do-extract:
${MKDIR} ${WRKDIR}
do-install:
- ${INSTALL_PROGRAM} ${DISTDIR}/${DISTNAME} ${PREFIX}/bin/dlv
+ ${INSTALL_SCRIPT} ${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
index 5bd74e6a8d8b..f14ec299bff4 100644
--- a/lang/dlv/distinfo
+++ b/lang/dlv/distinfo
@@ -1,2 +1,2 @@
-SHA256 (dlv.i386-linux-elf-static.bin) = 5847c28eb08fb6ff2dc3b477e7b31a88344b1f97c785f0e41fe6f309bf3d1a72
-SIZE (dlv.i386-linux-elf-static.bin) = 1889928
+SHA256 (dlv.i386-linux-elf-static.bin) = f830006655247fd5728fe3e435a2813a0679629c06e297cb8ce08d07544f80d1
+SIZE (dlv.i386-linux-elf-static.bin) = 1998464
diff --git a/lang/dlv/pkg-descr b/lang/dlv/pkg-descr
index 24294c572058..cb65c02589dd 100644
--- a/lang/dlv/pkg-descr
+++ b/lang/dlv/pkg-descr
@@ -8,4 +8,4 @@ The DLV system also includes
* support for inheritance, and
* an SQL frontend which prototypes some novel SQL3 features.
-WWW: http://www.dbai.tuwien.ac.at/research/project/dlv/
+WWW: http://www.dlvsystem.com/