On Fri, Aug 23 2019, Christopher Zimmermann <chr...@openbsd.org> wrote: > Hi, > > this Frama-C release is compatible with OCaml 4.08. It builds and runs > fine on amd64. I cannot build a bytecode-only version on amd64. > I would welcome OKs and tests on real bytecode-only archs and i386, > which is currently broken.
It failed for me on sparc64, after I installed a bunch of additional ocaml-* modules: ocaml-biniou and ocaml-easy-format (probably already fixed by now), and ocaml-cairo (needed by lablgtk3). --8<-- billy /usr/ports/devel/frama-c$ make all ===> Building for frama-c-19.0 Ocamlopt src/kernel_internals/runtime/frama_c_init.cmx ocamlfind: Not supported in your configuration: ocamlopt -->8-- -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
