[kernel] failure: Cannot find file libc/__fc_builtin_for_normalization.i

ID0001433: This issue was created automatically from Mantis Issue 1433. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0001433	Frama-C	Kernel	public	2013-05-29	2013-05-29

Reporter	ebousse	Assigned To	-	Resolution	no change required
Priority	normal	Severity	crash	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C Oxygen-20120901	Target Version	-	Fixed in Version	-

Description :

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:
     http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:bug_reporting_guidelines

==================================================

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
2. frama-c

Actual results: The previous error message.

Expected results: Frama C should start.

Additional Information :

I've also reported this bug in the Fedora bugzilla : https://bugzilla.redhat.com/show_bug.cgi?id=968236