FreeBSD Port: ocaml-3.11
Boris Hollas
boris.hollas at gmx.de
Tue Oct 6 21:31:03 UTC 2009
Hello,
I discovered a strange problem with the FreeBSD port of OCaml.
Frama-C/Jessie is a formal verification framework for C code, written in
OCaml. The Beryllium distribution [1] compiles on OpenBSD, NetBSD, and
Linux, but not on FreeBSD. On FreeBSD 7.2, I tried OCaml 3.11.0 as well as
OCaml 3.11.1 [2]. However, I was able to compile [1] with OCaml 3.11.1 on
Debian testing. On both platforms, I used ./configure && make (gmake on
FreeBSD). Any ideas?
Cheers,
Boris
[1]
http://frama-c.cea.fr/download/frama-c-Beryllium-20090901.tar.gz
[2]
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-September/001445.html
I just tried to compile frama-c-Beryllium-20090901 on FreeBSD 7.2 with
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
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-October/001448.html
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,
More information about the freebsd-ports
mailing list