--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on October 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,