diff --git a/science/cdcl/Makefile b/science/cdcl/Makefile index bd34ea5efb7ec..5a4ada6ef9dd3 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