diff options
| author | Antoine Brodin <antoine@FreeBSD.org> | 2023-02-20 16:15:21 +0000 |
|---|---|---|
| committer | Antoine Brodin <antoine@FreeBSD.org> | 2023-02-20 17:09:22 +0000 |
| commit | 78fc10cea4dcdddbfdfc06c1c7d9365a26d9ed21 (patch) | |
| tree | 37477961e3bad7891ba8a775fec53f4df804f4b2 | |
| parent | 7c88ae7ce843d8b2199e5c020e945b45483a180d (diff) | |
| download | ports-78fc10cea4dcdddbfdfc06c1c7d9365a26d9ed21.tar.gz ports-78fc10cea4dcdddbfdfc06c1c7d9365a26d9ed21.zip | |
devel/frama-c: deprecate
| -rw-r--r-- | devel/frama-c/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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 |