Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002325Frama-CGraphical User Interfacepublic2017-08-11 18:452017-09-01 10:08
Reportermehdi 
Assigned Tomaroneze 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C 15 Phosphorus 
Target VersionFixed in VersionFrama-C GIT, precise the release id 
Summary0002325: Make it build on bytecode architectures
DescriptionHi,

Frama-C's GUI doesn't build on bytecode only architecture because the Makefile always depend on TARGET_GUI which may contain native objects.

Please find attached a simple patch that fixes this issue.
TagsNo tags attached.
Attached Filespatch file icon 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch [^] (1,232 bytes) 2017-08-11 18:45 [Show Content]

- Relationships

-  Notes
(0006453)
maroneze (developer)
2017-08-30 16:47

Thanks for the patch.

There is just a very minor typo (a missing S in TARGET_GUI), but it seems to work fine and we'll try incorporate it into the next release.
(0006456)
yakobowski (manager)
2017-09-01 10:08

Fixed in Phosphorus bugfix (https://github.com/Frama-C/Frama-C-snapshot/commit/30b819710d7630dfaa9f1b434585c62265520d11 [^])

- Issue History
Date Modified Username Field Change
2017-08-11 18:45 mehdi New Issue
2017-08-11 18:45 mehdi Status new => assigned
2017-08-11 18:45 mehdi Assigned To => maroneze
2017-08-11 18:45 mehdi File Added: 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
2017-08-30 16:47 maroneze Note Added: 0006453
2017-08-30 16:47 maroneze Status assigned => resolved
2017-08-30 16:47 maroneze Fixed in Version => Frama-C 16 Sulfur
2017-08-30 16:47 maroneze Resolution open => fixed
2017-09-01 10:08 yakobowski Note Added: 0006456
2017-09-01 10:08 yakobowski Status resolved => closed
2017-09-01 10:08 yakobowski Fixed in Version Frama-C 16 Sulfur => Frama-C GIT, precise the release id


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker