--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on March 2010 ---
[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



Thanks for the reply.
make completed without error, however make install is giving errors like
below:

cp: cannot stat `lib/plugins/Pdg.o': No such file or directory
cp: cannot stat `lib/plugins/Scope.o': No such file or directory
cp: cannot stat `lib/plugins/Sparecode.o': No such file or directory
cp: cannot stat `lib/plugins/Slicing.o': No such file or directory
cp: cannot stat `src/kernel/boot.o': No such file or directory
make[1]: *** [install-kernel-opt] Error 1
make[1]: Leaving directory `/root/frama-c-Beryllium-20090902-why-2.21'
make: *** [install] Error 2
[root at localhost frama-c-Beryllium-20090902-why-2.21]#


I'm compiling this on a linux CentOS 5.3

Thanks!


On Fri, Mar 26, 2010 at 12:50 AM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote:

> > 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]#
>
> You are compiling using the latest OCaml version, which was released
> after the last Frama-C distribution. Each new OCaml version introduces
> small changes that may break the compilation of existing programs. In
> this case, the fix is to change the function temp_file into:
>
>  let temp_file =
>    if Sys.os_type = "Win32" then
>      fun a b -> let r = temp_file a b in
>        cygpath r
>    else
>      fun a b -> temp_file a b
>
> Pascal
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100326/abd62ea0/attachment.htm>