--- layout: fc_discuss_archives title: Message 58 from Frama-C-discuss on April 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] problem with installation of Frama-C Beryllium (2) for Mac OS X 10.5.8



Hello,

> I got another error. The make didn't go through because of the following
> error:
>
> Linking ? ? ?bin/ptests.byte
> File "ptests/ptests.ml", line 57, characters 6-15:
> Error: This expression has type
> ? ? ? ? ?temp_dir:string -> string -> string -> string
> ? ? ? but an expression was expected of type string -> string -> string
> make: *** [bin/ptests.byte] Error 2

The explanation and fix for this one is there:
http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2010-March/001859.html

The fix is included in the latest released Frama-C version, so
everything's fine until the next OCaml release (which we already know
will break compilation of 20100401, but we will try to do a better job
of updating Frama-C this time when it happens).

> Before writing this email, I decided to try once more installing Beryllium
> binaries. And surprisingly it worked. :)

Good! That's settled then. There should be a Snow Leopard binary
package for 20100401 (Boron) soon, but the courageous people who
compile from source have already found a couple of interesting bugs,
so I will only start packaging after these have been fixed.

Pascal