Frama-C Bug Tracking System - Frama-C
View Issue Details
0002429Frama-CGraphical User Interfacepublic2019-02-25 13:352019-07-05 11:41
Frama-C 19-Potassium 
0002429: Porting to Lablgtk3 (GTK3 OCaml bindings)
Soon lablgtk2 will be removed from all Debian-based distributions because reliance on liblablgtksourceview2-ocaml-dev package. See 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) - And a pull request fixing it (porting CoqIDE to lablgtk3)
No tags attached.
Issue History
2019-02-25 13:35XVilkaNew Issue
2019-02-25 13:35XVilkaStatusnew => assigned
2019-02-25 13:35XVilkaAssigned To => maroneze
2019-02-25 13:36maronezeAssigned Tomaroneze => virgile
2019-02-25 14:15virgileNote Added: 0006753
2019-02-25 14:15virgileStatusassigned => feedback
2019-05-23 17:11virgileNote Added: 0006773
2019-05-23 17:11virgileStatusfeedback => resolved
2019-05-23 17:11virgileFixed in Version => Frama-C 19-Potassium
2019-05-23 17:11virgileResolutionopen => fixed
2019-07-05 11:41signolesStatusresolved => closed

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.
2019-05-23 17:11   
19.0-beta can compile against lablgtk3