diff options
-rw-r--r-- | MOVED | 1 | ||||
-rw-r--r-- | lang/Makefile | 1 | ||||
-rw-r--r-- | lang/dlv/Makefile | 35 | ||||
-rw-r--r-- | lang/dlv/distinfo | 2 | ||||
-rw-r--r-- | lang/dlv/pkg-descr | 9 |
5 files changed, 1 insertions, 47 deletions
@@ -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. |