Relocable buckx
ID0002164: This issue was created automatically from Mantis Issue 2164. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0002164 | Frama-C | Kernel > Makefile | public | 2015-09-16 | 2016-06-21 |
Reporter | ploc | Assigned To | yakobowski | Resolution | fixed |
Priority | normal | Severity | feature | Reproducibility | N/A |
Platform | - | OS | - | OS Version | - |
Product Version | - | Target Version | - | Fixed in Version | Frama-C Aluminium |
Description :
Please add, as a default option, the relocation for buckx_c files:
GEN_BUCKX_CFLAGS="-fPIC"