I think the next target update for Ocaml should be version 5.3. I've
managed to get most ports working under that updated version, except for a
few stragglers.
I'd like to mark devel/cil broken at this point as it seems dormant
upstream and would be a big porting effort to migrate to newer Ocaml.
A potential upstream fork is Gobling-CIL which I looked at porting but it
needs quite a lot of new dependencies and I gave up after doing close to
ten new ports.
ok on this for now? It would let us move forward with ocaml 5.
Index: Makefile
===================================================================
RCS file: /cvs/ports/devel/cil/Makefile,v
diff -u -p -u -r1.47 Makefile
--- Makefile 24 Apr 2024 17:09:43 -0000 1.47
+++ Makefile 8 Jun 2026 23:36:04 -0000
@@ -1,3 +1,5 @@
+BROKEN = does not support Ocaml 5.x, replace with Goblint-CIL
+
# build system needs per-arch tweaks and is very unfriendly to
# bytecode-only builds. powerpc nativecode is currently broken.
ONLY_FOR_ARCHS = ${OCAML_NATIVE_ARCHS}
