0002429: Porting to Lablgtk3 (GTK3 OCaml bindings)

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002429

Frama-C

Graphical User Interface

public

2019-02-25 13:35

2019-02-25 16:58

Reporter

XVilka

Assigned To

virgile

Priority

normal

Severity

major

Reproducibility

always

Status

feedback

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0002429: Porting to Lablgtk3 (GTK3 OCaml bindings)

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 [^]

Tags

No 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