Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] rama-c-Beryllium-20090902-why-2.21 make error File "ptests/ptests.ml", line 57, characters 6-15

  • Subject: [Frama-c-discuss] rama-c-Beryllium-20090902-why-2.21 make error File "ptests/ptests.ml", line 57, characters 6-15
  • From: aintest3 at gmail.com (aintest3f aintest3l)
  • Date: Thu, 25 Mar 2010 16:17:03 -0700
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>