Daniel Dickman <didickman@gmail.com> writes:

> 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.

yes, it is fine with me.

OK semarie@

> 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}
-- 
Sebastien Marie