Frama-C Bug Tracking System - Frama-C
View Issue Details
0002429Frama-CGraphical User Interfacepublic2019-02-25 13:352019-02-25 16:58
XVilka 
virgile 
normalmajoralways
feedbackopen 
 
 
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 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 [^]
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

Notes
(0006753)
virgile   
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.