mark broken so we can make progress on ocaml 5.x

ok semarie@
2026-06-17 23:13:55 +02:00 · 2026-06-10 01:21:18 +00:00
parent 9c3733b1b8
commit 47f2f2f1bd
1 changed files with 2 additions and 0 deletions
@@ -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}