On Tue, 06 Oct 2009 23:04:11 +0200
Boris Hollas boris.hol...@gmx.de mentioned:
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,
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