Namespace through packs - packing frama-c cmx into a cmxa
ID0002163: This issue was created automatically from Mantis Issue 2163. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0002163 | Frama-C | Kernel | public | 2015-09-16 | 2016-06-21 |
Reporter | ploc | Assigned To | bobot | Resolution | open |
Priority | normal | Severity | feature | Reproducibility | N/A |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Sodium | Target Version | - | Fixed in Version | - |
Description :
It would be great if you could add an extra -for-pack FramaC to each byte/native code file compilation.
A way to do it, is to call the makefile with FRAMAC_USER_FLAGS="-for-pack FramaC" make
But the Makefile.plugin has to be modified to name its pack FramaC.PLUGIN_NAME
This would enable the construction of a packed framaC.cmx and then a library framaC.cmxa.