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.
|Product Version||Frama-C Sodium||Target Version||-||Fixed in Version||-|
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information