2021-01-16 00:25 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002429Frama-CGraphical User Interfacepublic2019-07-05 11:41
Assigned Tovirgile 
Product Version 
Target VersionFixed in VersionFrama-C 19-Potassium 
Summary0002429: Porting to Lablgtk3 (GTK3 OCaml bindings)
DescriptionSoon 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
TagsNo tags attached.
Attached Files




virgile (developer)

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)

19.0-beta can compile against lablgtk3

-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