git: 57aa88af6003 - main - lang/dlv: Remove expired port:
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 20 Mar 2023 00:05:41 UTC
The branch main has been updated by bofh: URL: https://cgit.FreeBSD.org/ports/commit/?id=57aa88af6003a73816dc09633c37654fa4737d6d commit 57aa88af6003a73816dc09633c37654fa4737d6d Author: Muhammad Moinur Rahman <bofh@FreeBSD.org> AuthorDate: 2023-03-19 23:08:19 +0000 Commit: Muhammad Moinur Rahman <bofh@FreeBSD.org> CommitDate: 2023-03-19 23:51:43 +0000 lang/dlv: Remove expired port: 2023-03-20 lang/dlv: Broken since 2020 --- MOVED | 1 + lang/Makefile | 1 - lang/dlv/Makefile | 35 ----------------------------------- lang/dlv/distinfo | 2 -- lang/dlv/pkg-descr | 9 --------- 5 files changed, 1 insertion(+), 47 deletions(-) diff --git a/MOVED b/MOVED index 0de693f30d6c..e264a2695598 100644 --- a/MOVED +++ b/MOVED @@ -17798,3 +17798,4 @@ devel/p5-Net-ZooKeeper||2023-03-19|Has expired: Broken since 2020 devel/libhyve-remote||2023-03-19|Has expired: Broken since 2020 chinese/brise||2023-03-19|Has expired: Broken since 2020 cad/NASTRAN-95||2023-03-19|Has expired: Broken since 2020 +lang/dlv||2023-03-19|Has expired: Broken since 2020 diff --git a/lang/Makefile b/lang/Makefile index a901446d4178..a5c78bad6dfb 100644 --- a/lang/Makefile +++ b/lang/Makefile @@ -41,7 +41,6 @@ SUBDIR += cython-devel SUBDIR += dhall SUBDIR += dlang-tools - SUBDIR += dlv SUBDIR += duktape SUBDIR += duktape-lib SUBDIR += ecl diff --git a/lang/dlv/Makefile b/lang/dlv/Makefile deleted file mode 100644 index 6a78f5b3ce51..000000000000 --- a/lang/dlv/Makefile +++ /dev/null @@ -1,35 +0,0 @@ -PORTNAME= dlv -PORTVERSION= 20121217 -CATEGORIES= lang -MASTER_SITES= http://www.dlvsystem.com/files/ -DISTNAME= dlv.i386-linux-elf-static.bin -EXTRACT_SUFX= - -MAINTAINER= ports@FreeBSD.org -COMMENT= Disjunctive Datalog System -WWW= https://www.dlvsystem.com/dlv/ - -# Converted from RESTRICTED -LICENSE= dlv -LICENSE_NAME= dlv -LICENSE_TEXT= Not sure if we can redistribute it -LICENSE_PERMS= auto-accept - -BROKEN= unfetchable -DEPRECATED= Broken since 2020 -EXPIRATION_DATE= 2023-03-20 - -NO_WRKSUBDIR= yes -EXTRACT_CMD= ${CP} -EXTRACT_BEFORE_ARGS= -EXTRACT_AFTER_ARGS= ${WRKSRC} -PLIST_FILES= bin/dlv -ONLY_FOR_ARCHS= i386 amd64 - -do-build: - ${BRANDELF} -t Linux ${WRKSRC}/${DISTNAME} - -do-install: - ${INSTALL_SCRIPT} ${WRKSRC}/${DISTNAME} ${STAGEDIR}${PREFIX}/bin/dlv - -.include <bsd.port.mk> diff --git a/lang/dlv/distinfo b/lang/dlv/distinfo deleted file mode 100644 index 3c62253659ca..000000000000 --- a/lang/dlv/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -SHA256 (dlv.i386-linux-elf-static.bin) = 725e4c428f6aec7878f2216cd93d914d84375b395e612090a262ea833e1f27fc -SIZE (dlv.i386-linux-elf-static.bin) = 2031392 diff --git a/lang/dlv/pkg-descr b/lang/dlv/pkg-descr deleted file mode 100644 index deac7500665c..000000000000 --- a/lang/dlv/pkg-descr +++ /dev/null @@ -1,9 +0,0 @@ -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.