--- layout: fc_discuss_archives title: Message 58 from Frama-C-discuss on April 2010 ---
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