From: Daniel Dickman <didickman@gmail.com>
Subject: mark devel/cil as broken
To: ports@openbsd.org
Date: Mon, 8 Jun 2026 19:41:40 -0400

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}