From nobody Mon Mar 20 00:05:41 2023 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4Pfw462ndXz3yswS; Mon, 20 Mar 2023 00:05:42 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Pfw460n5Nz4J67; Mon, 20 Mar 2023 00:05:42 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1679270742; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=lKx2W72LsY1Y9ZsjLl4uE9NWhgj/o/gw7kq9aakny4c=; b=CGUSEe8Gl6ya6jyQGn++xMoRCQztuWtL9VqcK271/2G0COaoPlaBzJs6dNbH1ouOliJPIx nvyVIqEV8+bbYnxTtfs8eXEswXi69SQznbbaNRkLb28SxP7hAPyhoM2XoD0m6el9urKGtg PC6aWJ7eDKf5LjKCo1J93RVcVBaxCekTlpyJP02VGLFgtaO2E+VZ2Rsu2lXCp5rPWS69NI pQxkdqIw1zdN6MsnU7V+Udvht7a09BCJ34Zw08oL/DLuoCTM5pypN4FQzoh8qTrVBCPMhY OTbvuw+meIZzEuAuBnW5Soe8hn6MwnMogD0IrTt99eSOjKOwwBDnzOH8QjH2wA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1679270742; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=lKx2W72LsY1Y9ZsjLl4uE9NWhgj/o/gw7kq9aakny4c=; b=Jh4TtYm6pr5gkluwRV5bZsBjoxn1DYMBnSPlGqeIsY2Syg5zxhFGXlS9y6kwxsNPzX7CiV G34hsu+loED1glB1u8KKJSfVgCYBeoLpXBuO3mPqn9JoIwMzWXmfOPKn/2XtAT33tttEyB 6spHeNN3H4Vi/zavYFeJpEXv6G06wHSompLFmnSIqePd6NcgcSxRWIliOWxMYARKk7fVAS V1W9T1DiSQnw/96+NOWPVwJ44AuY8pAaidIi3clOJXuNi+Ez1jZBCO3sXd0OiWU0xDATlI b9doynYLMeAyCs7yQ5yBi7B/Pm9Yj6fdvEQ/f7pV/7BhHRgf0yrnymbokod0Eg== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1679270742; a=rsa-sha256; cv=none; b=kJOz79BiATvdtHavKHYaUG6eGUJDBxAr5ApzffqbY0VLkrkx+4w/IHb6dlV3g4O3g/txjb Q5RIv4yfEJnCO9kXDdB149MREyM3f75+wO+CGVK5U5viYH4LB+VVE5Qmh2YSzPNBZilscx AU5xWwdqWcwVCeTdl/ovbvHObGgAaW5A9C7jxVvPxb13Z3TcPN+qOUb+vSHUyY776J6zoc oP8LAkMMIXkhqjjYcVy7J7S2XMB8mgvUK+y41wyZHvZqCTnMOxbCeYSlg4gCJqSP1+kt4V tkKFFZPDswKG4Q2Qxhy+2OS0LCJHnmFAjoq743MVKMzFLBe8yRcWmRtw79XISw== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4Pfw456jhnz181J; Mon, 20 Mar 2023 00:05:41 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 32K05fwl044146; Mon, 20 Mar 2023 00:05:41 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 32K05fHo044145; Mon, 20 Mar 2023 00:05:41 GMT (envelope-from git) Date: Mon, 20 Mar 2023 00:05:41 GMT Message-Id: <202303200005.32K05fHo044145@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Muhammad Moinur Rahman Subject: git: 57aa88af6003 - main - lang/dlv: Remove expired port: List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: bofh X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 57aa88af6003a73816dc09633c37654fa4737d6d Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by bofh: URL: https://cgit.FreeBSD.org/ports/commit/?id=57aa88af6003a73816dc09633c37654fa4737d6d commit 57aa88af6003a73816dc09633c37654fa4737d6d Author: Muhammad Moinur Rahman AuthorDate: 2023-03-19 23:08:19 +0000 Commit: Muhammad Moinur Rahman 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 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.