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-02-25 16:58
ReporterXVilka 
Assigned Tovirgile 
PrioritynormalSeveritymajorReproducibilityalways
StatusfeedbackResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
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.

- 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


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker