View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
---|---|---|---|---|---|---|---|---|---|
0002429 | Frama-C | Graphical User Interface | public | 2019-02-25 13:35 | 2019-07-05 11:41 | ||||
Reporter | XVilka | ||||||||
Assigned To | virgile | ||||||||
Priority | normal | Severity | major | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Product Version | |||||||||
Target Version | Fixed in Version | Frama-C 19-Potassium | |||||||
Summary | 0002429: Porting to Lablgtk3 (GTK3 OCaml bindings) | ||||||||
Description | Soon lablgtk2 will be removed from all Debian-based distributions because reliance on liblablgtksourceview2-ocaml-dev package. See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=885677 Recently Coq developers and Lablgtk maintainer collaborated and ported the library to GTK+ 3.x, and beta version was released. Corresponding PR for Coq is waiting to be merged as well. It makes sense to port Frama-C GUI to lablgtk3 as well. See the same issue in Coq (CoqIDE) - https://github.com/coq/coq/issues/7055 And a pull request fixing it (porting CoqIDE to lablgtk3) https://github.com/coq/coq/pull/9279 | ||||||||
Tags | No tags attached. | ||||||||
Attached Files |
|
![]() |
|
virgile (developer) 2019-02-25 14:15 |
The current development branch can be compiled against both lablgtk2 and lablgtk3 (>=beta4). This should be part of Frama-C 19 Potassium, with an estimated date of release at the end of May. Should there be a need for a lablgtk3-aware Frama-C at an earlier date, a backport of the changes on Frama-C 18 Argon is possible. |
virgile (developer) 2019-05-23 17:11 |
19.0-beta can compile against lablgtk3 |
![]() |
|||
Date Modified | Username | Field | Change |
---|---|---|---|
2019-02-25 13:35 | XVilka | New Issue | |
2019-02-25 13:35 | XVilka | Status | new => assigned |
2019-02-25 13:35 | XVilka | Assigned To | => maroneze |
2019-02-25 13:36 | maroneze | Assigned To | maroneze => virgile |
2019-02-25 14:15 | virgile | Note Added: 0006753 | |
2019-02-25 14:15 | virgile | Status | assigned => feedback |
2019-05-23 17:11 | virgile | Note Added: 0006773 | |
2019-05-23 17:11 | virgile | Status | feedback => resolved |
2019-05-23 17:11 | virgile | Fixed in Version | => Frama-C 19-Potassium |
2019-05-23 17:11 | virgile | Resolution | open => fixed |
2019-07-05 11:41 | signoles | Status | resolved => closed |