framac: Update to GTK 3
lablgtk2 depends on libglade, which is being removed.
This will result in partial gui since ocamlgraph has not been ported to GTK 3:
https://github.com/backtracking/ocamlgraph/issues/87
commit701dcec35145c66f3a588c7f617cda709734850c
authorJan Tojnar <jtojnar@gmail.com>
dateSun 16 Jan 2022, 03:09 (5 years ago)
parent2efc972
pkgs/development/tools/analysis/frama-c/default.nix+2−2
@@ -44,8 +44,8 @@ stdenv.mkDerivation rec {
4444 nativeBuildInputs = [ autoconf wrapGAppsHook ];
4545
4646 buildInputs = with ocamlPackages; [
47− ncurses ocaml findlib ltl2ba ocamlgraph ocamlgraph_gtk yojson menhirLib camlzip
48− lablgtk coq graphviz zarith apron why3 mlgmpidl doxygen
47+ ncurses ocaml findlib ltl2ba ocamlgraph yojson menhirLib camlzip
48+ lablgtk3 lablgtk3-sourceview3 coq graphviz zarith apron why3 mlgmpidl doxygen
4949 gdk-pixbuf
5050 ];
5151