diff options
author | Antoine Brodin <antoine@FreeBSD.org> | 2023-02-20 17:00:19 +0000 |
---|---|---|
committer | Antoine Brodin <antoine@FreeBSD.org> | 2023-02-20 17:09:27 +0000 |
commit | 62a81f87731798ae16a517f4ad757e979ec61273 (patch) | |
tree | 4372560544e2dc404ac020d45a49b5c06dc19583 | |
parent | 079988b6ee1f441848da6630a07f420087f00700 (diff) | |
download | ports-62a81f87731798ae16a517f4ad757e979ec61273.tar.gz ports-62a81f87731798ae16a517f4ad757e979ec61273.zip |
science/cdcl: deprecate
-rw-r--r-- | science/cdcl/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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 |