diff options
Diffstat (limited to 'lang/dlv')
-rw-r--r-- | lang/dlv/Makefile | 9 | ||||
-rw-r--r-- | lang/dlv/distinfo | 4 | ||||
-rw-r--r-- | lang/dlv/pkg-descr | 2 |
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/ |