--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on October 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



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,
-- 
Richard Bonichon