Frama-c-gui doesn't install on bytecode architecture
ID0000461: This issue was created automatically from Mantis Issue 461. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000461 | Frama-C | Kernel > Makefile | public | 2010-04-27 | 2014-02-12 |
| Reporter | mehdi | Assigned To | signoles | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | Frama-C Carbon-20101201-beta1 |
Description :
The target 'gui' depends directly on 'bin/viewer.opt$(EXE)' which cannot be built on bytecode-only architecutres. Thus, the build and installation fail.
Furthermore, in /usr/lib/frama-c, there are some .cmx files installed without their implementation (their corresponding .o or .a files). If those files are going to be used to build plugins, then the implementation is needed.
Please find attached a patch that fixes both issues.
Regards,
Mehdi
Attachments
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information