git: 62a81f877317 - main - science/cdcl: deprecate
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 20 Feb 2023 17:20:50 UTC
The branch main has been updated by antoine:
URL: https://cgit.FreeBSD.org/ports/commit/?id=62a81f87731798ae16a517f4ad757e979ec61273
commit 62a81f87731798ae16a517f4ad757e979ec61273
Author: Antoine Brodin <antoine@FreeBSD.org>
AuthorDate: 2023-02-20 17:00:19 +0000
Commit: Antoine Brodin <antoine@FreeBSD.org>
CommitDate: 2023-02-20 17:09:27 +0000
science/cdcl: deprecate
---
science/cdcl/Makefile | 2 ++
1 file changed, 2 insertions(+)
diff --git a/science/cdcl/Makefile b/science/cdcl/Makefile
index bd34ea5efb7e..5a4ada6ef9dd 100644
--- a/science/cdcl/Makefile
+++ b/science/cdcl/Makefile
@@ -20,6 +20,8 @@ LICENSE_PERMS= auto-accept
BROKEN= fails to fetch from mastersite (newest release is 7.4.0 of 2020611)
BROKEN_armv6= fails to link: final link failed: Nonrepresentable section on output
BROKEN_armv7= fails to link: final link failed: Nonrepresentable section on output
+DEPRECATED= Broken since 2021
+EXPIRATION_DATE= 2023-03-21
OPTIONS_DEFINE= DOCS EXAMPLES
USES= desthack gnome pkgconfig xorg