Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002429Frama-CGraphical User Interfacepublic2019-02-25 13:352019-07-05 11:41
ReporterXVilka 
Assigned Tovirgile 
PrioritynormalSeveritymajorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
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

- Relationships

-  Notes
(0006753)
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.
(0006773)
virgile (developer)
2019-05-23 17:11

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


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker