Make it build on bytecode architectures
ID0002325: This issue was created automatically from Mantis Issue 2325. Further discussion may take place here.
|ID0002325||Frama-C||Graphical User Interface||public||2017-08-11||2017-09-01|
|Product Version||Frama-C 15-Phosphorus||Target Version||-||Fixed in Version||Frama-C GIT, precise the release id|
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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information