| 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 |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
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 |
| Notes |
| Issue History |
|||
| 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 |
| Issue History |