Project has moved to https://github.com/cil-project/cil and upstream don't have time to work on it. It also appears to eat up quite a bit of our time trying to get it to at least build. Time to consider removal? Reference: https://github.com/cil-project/cil/pull/42#issuecomment-391818549
Hi, Since there is no other port depending on this, I have no objection.
A commit in branch main references this bug: URL: https://cgit.FreeBSD.org/ports/commit/?id=abc0edbe8af09d00fc018104ee97d5ada2c6db1e commit abc0edbe8af09d00fc018104ee97d5ada2c6db1e Author: Daniel Engberg <diizzy@FreeBSD.org> AuthorDate: 2024-02-18 09:17:39 +0000 Commit: Daniel Engberg <diizzy@FreeBSD.org> CommitDate: 2024-02-18 16:16:12 +0000 devel/cil: Deprecate and set expiration date to 2024-03-31 Last release in 2014 and last commit in 2016 Upstream dont have time to maintain it Reference: https://github.com/cil-project/cil/pull/42#issuecomment-391818549 PR: 276971 devel/cil/Makefile | 3 +++ 1 file changed, 3 insertions(+)