Frama-C Bug Tracking System - Frama-C
View Issue Details
0002325Frama-CGraphical User Interfacepublic2017-08-11 18:452017-09-01 10:08
mehdi 
maroneze 
normalminoralways
closedfixed 
Frama-C 15-Phosphorus 
Frama-C GIT, precise the release id 
0002325: Make it build on bytecode architectures
Hi, 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.
No tags attached.
patch 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch (1,232) 2017-08-11 18:45
https://bts.frama-c.com/file_download.php?file_id=1203&type=bug
Issue History
2017-08-11 18:45mehdiNew Issue
2017-08-11 18:45mehdiStatusnew => assigned
2017-08-11 18:45mehdiAssigned To => maroneze
2017-08-11 18:45mehdiFile Added: 0006-gui.byte-needs-TARGETS_GUI_BYTE-only.patch
2017-08-30 16:47maronezeNote Added: 0006453
2017-08-30 16:47maronezeStatusassigned => resolved
2017-08-30 16:47maronezeFixed in Version => Frama-C 16-Sulfur
2017-08-30 16:47maronezeResolutionopen => fixed
2017-09-01 10:08yakobowskiNote Added: 0006456
2017-09-01 10:08yakobowskiStatusresolved => closed
2017-09-01 10:08yakobowskiFixed in VersionFrama-C 16-Sulfur => Frama-C GIT, precise the release id

Notes
(0006453)
maroneze   
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   
2017-09-01 10:08   
Fixed in Phosphorus bugfix (https://github.com/Frama-C/Frama-C-snapshot/commit/30b819710d7630dfaa9f1b434585c62265520d11)