[Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2

Boris Hollas boris.hollas at gmx.de
Thu Oct 1 11:51:37 CEST 2009


Hi Richard,

no success with Ocaml 3.11.1 either:

Ocamlc       src/jessie/interp.cmi
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?
>
> Cheers,





More information about the Frama-c-discuss mailing list