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-08-11 18:45
Reportermehdi 
Assigned Tomaroneze 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C 15 Phosphorus 
Target VersionFixed in Version 
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
There are no notes attached to this issue.

- 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


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker