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

  • Subject: [Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2
  • From: richard.bonichon at (Richard Bonichon)
  • Date: Thu, 1 Oct 2009 10:07:58 +0200
  • In-reply-to: <op.u02wmjl1k2i85h@lifebook>
  • References: <op.u02wmjl1k2i85h@lifebook>

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?

Richard Bonichon