Re: FreeBSD Port: ocaml-3.11

2009-10-07 Thread Stanislav Sedov
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,

FreeBSD Port: ocaml-3.11

2009-10-06 Thread Boris Hollas
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