Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002163Frama-CKernelpublic2015-09-16 10:052016-06-21 15:37
Reporterploc 
Assigned Tobobot 
PrioritynormalSeverityfeatureReproducibilityN/A
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C Sodium 
Target VersionFixed in Version 
Summary0002163: Namespace through packs - packing frama-c cmx into a cmxa
DescriptionIt 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.
TagsNo tags attached.
Attached Files

- Relationships
related to 0002162assignedbobot Compilation of kernel native cmx is messed up with plugin makefile 

-  Notes
(0006039)
ploc (reporter)
2015-09-16 10:07

Sorry I just discovered that the FRAMAC_USER_FLAG is not yet available in Sodium.

- Issue History
Date Modified Username Field Change
2015-09-16 10:05 ploc New Issue
2015-09-16 10:07 ploc Note Added: 0006039
2015-09-16 11:03 signoles Assigned To => signoles
2015-09-16 11:03 signoles Status new => acknowledged
2015-09-16 11:04 signoles Relationship added related to 0002162
2016-06-21 15:36 signoles Assigned To signoles => bobot
2016-06-21 15:36 signoles Status acknowledged => assigned


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker