Porting to Lablgtk3 (GTK3 OCaml bindings)
ID0002429: This issue was created automatically from Mantis Issue 2429. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002429 | Frama-C | Graphical User Interface | public | 2019-02-25 | 2019-07-05 |
| Reporter | XVilka | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | Frama-C 19-Potassium |
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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information