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 gmail.com (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? Cheers, -- Richard Bonichon
- Follow-Ups:
- [Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2
- From: boris.hollas at gmx.de (Boris Hollas)
- [Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2
- Prev by Date: [Frama-c-discuss] ask for slicing spec
- Next by Date: [Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2
- Previous by thread: [Frama-c-discuss] ask for slicing spec
- Next by thread: [Frama-c-discuss] Beryllium does not compile on FreeBSD 7.2
- Index(es):