wrong ELF class: ELFCLASS64
ID0001294: This issue was created automatically from Mantis Issue 1294. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001294 | Frama-C | Graphical User Interface | public | 2012-11-02 | 2012-12-06 |
| Reporter | ngong | Assigned To | monate | Resolution | no change required |
| Priority | normal | Severity | minor | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Nitrogen-20111001 | Target Version | - | Fixed in Version | - |
Description :
after installing package frama-c on Debian SID 64 bit, the command
frama-c-gui -slevel 10 -val p.c
led to the failure message
frama-c-gui: error while loading shared libraries: libgtksourceview-2.0.so.0: wrong ELF class: ELFCLASS64
and did not show anything else.
I expected to see what is mentioned on page http://frama-c.com/try_out.html
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information