[Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2
boris.hollas at gmx.de
Thu Oct 1 11:51:37 CEST 2009
no success with Ocaml 3.11.1 either:
File "src/jessie/interp.mli", line 26, characters 0-7:
Error: Unbound module Jc
gmake: *** [src/jessie/interp.cmi] Error 2
Maybe it's a problem with the makefile.
Does it compile on Debian testing?
On Thu, 01 Oct 2009 10:07:58 +0200, Richard Bonichon
<richard.bonichon at gmail.com> wrote:
> Hi Boris,
>> OCaml 3.11.0. Compiling stops with
>> File "src/jessie/interp.mli", line 26, characters 0-7:
>> Error: Unbound module Jc
>> gmake: *** [src/jessie/interp.cmi] Error 2
> AFAIK, the problem you describe is not related to FreeBSD (the version
> you use compiles and runs on both Open- and NetBSD, so there is no
> reason this should not be the case on FreeBSD).
> Have you tried something along the lines of:
> % gmake clean
> % gmake depend
> % gmake
> (I assume your compilation process has been properly configured)
> Aside from that (and not related to it), why not use the latest OCaml
> version (ie. 3.11.1) ported to FreeBSD?
More information about the Frama-c-discuss