git: 78fc10cea4dc - main - devel/frama-c: deprecate

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Antoine Brodin <antoine_at_FreeBSD.org>
Date: Mon, 20 Feb 2023 17:20:31 UTC

The branch main has been updated by antoine:

URL: https://cgit.FreeBSD.org/ports/commit/?id=78fc10cea4dcdddbfdfc06c1c7d9365a26d9ed21

commit 78fc10cea4dcdddbfdfc06c1c7d9365a26d9ed21
Author:     Antoine Brodin <antoine@FreeBSD.org>
AuthorDate: 2023-02-20 16:15:21 +0000
Commit:     Antoine Brodin <antoine@FreeBSD.org>
CommitDate: 2023-02-20 17:09:22 +0000

    devel/frama-c: deprecate
---
 devel/frama-c/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile
index be2438d4a534..828d674ce8ed 100644
--- a/devel/frama-c/Makefile
+++ b/devel/frama-c/Makefile
@@ -12,6 +12,8 @@ WWW=		https://frama-c.com/index.html
 LICENSE=	LGPL21
 
 BROKEN=		fails to build
+DEPRECATED=	Broken since 2021
+EXPIRATION_DATE=	2023-03-21
 
 BUILD_DEPENDS=	${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:math/ocaml-ocamlgraph \
 	    ${LOCALBASE}/lib/ocaml/site-lib/zarith/zarith.a:math/ocaml-zarith