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,
_______________________________________________
freebsd-ports@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"
