Red Hat Bugzilla – Bug 968236
[kernel] failure: Cannot find file libc/__fc_builtin_for_normalization.i
Last modified: 2013-05-29 12:35:53 EDT
Description of problem:
I am using Fedora 18 x64. I've just installed frama-c, and it crashes at startup with the following error:
[kernel] failure: Cannot find file libc/__fc_builtin_for_normalization.i, needed for Frama-C initialization. Please check that /usr/share/frama-c is the correct share path for Frama-C.
[kernel] The full backtrace is:
Raised at file "src/kernel/log.ml", line 523, characters 30-31
Called from file "src/kernel/log.ml", line 517, characters 9-16
Re-raised at file "src/kernel/log.ml", line 520, characters 15-16
Called from file "src/kernel/file.ml", line 169, characters 4-171
Called from file "src/project/project.ml", line 367, characters 12-15
Called from file "src/project/project.ml", line 372, characters 17-22
Re-raised at file "src/project/project.ml", line 372, characters 56-57
Called from file "queue.ml", line 135, characters 6-20
Called from file "src/project/project.ml", line 303, characters 2-21
Called from file "src/project/project.ml", line 314, characters 27-44
Called from file "src/kernel/boot.ml", line 69, characters 17-43
Called from file "src/kernel/cmdline.ml", line 197, characters 4-8
Frama-C aborted: internal error.
Please report as 'crash' at http://bts.frama-c.com/.
Your Frama-C version is Oxygen-20120901.
Note that a version and a backtrace alone often do not contain enough
information to understand the bug. Guidelines for reporting bugs are at:
Version-Release number of selected component (if applicable):
Nom : frama-c
Architecture : x86_64
Version : 1.8
Révision : 5.fc18
Taille : 70 M
Dépôt : installed
Depuis le dépôt : updates
How reproducible: Always
Steps to Reproduce:
1. yum install frama-c
Actual results: The previous error message.
Expected results: Frama C should start.
I've reported the bug to frama-c developpers as well: http://bts.frama-c.com/view.php?id=1433
Thanks for the report, Erwan. This is an artifact of how the frama-c and frama-c-devel packages were split. It has been fixed for Fedora 19 and later. For Fedora 18, please install the frama-c-devel package as a workaround.
*** This bug has been marked as a duplicate of bug 888865 ***
Indeed, it works with frama-c-devel. Thanks!