--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on March 2010 ---
Hello, aintest3f aintest3l a ?crit : > 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]# It seems that you have no native ocaml compiler (aka ocamlopt). Check the output of ./configure to be sure. In such a case, 'make install' is buggy in Beryllium 2. That is already fixed in our private svn and will be part of the next public release. Please apply the attached patch of the Makefile of Beryllium 2 in order to fix this bug. Hope this helps, Julien -------------- section suivante -------------- Une pi?ce jointe autre que texte a ?t? nettoy?e... Nom: no_ocamlopt.patch Type: text/x-patch Taille: 471 octets Desc: non disponible URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100330/ea99a95b/attachment.bin>