--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on March 2010 ---
hello, I'm getting error below when running make; this is on CentOS5.3. How can I resolve this error? thanks. [...] Ocamlc lib/plugins/Ltl_to_acsl.cmi Packing lib/plugins/Ltl_to_acsl.cmo Linking bin/toplevel.byte make[1]: Entering directory `/root/frama-c-Beryllium-20090902-why-2.21' Generating .depend make[1]: Leaving directory `/root/frama-c-Beryllium-20090902-why-2.21' make[1]: Entering directory `/root/frama-c-Beryllium-20090902-why-2.21' Copying to bytecode kernel API make[1]: Leaving directory `/root/frama-c-Beryllium-20090902-why-2.21' 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 [root at localhost frama-c-Beryllium-20090902-why-2.21]# -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100325/8ccad3f4/attachment.htm>