Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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,