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: backtracking/ocamlgraph#87
jtojnar · Jan 16, 2022 · 701dcec · 701dcec
1 parent 2efc972
commit 701dcec
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix
@@ -44,8 +44,8 @@ stdenv.mkDerivation rec {
   nativeBuildInputs = [ autoconf wrapGAppsHook ];
 
   buildInputs = with ocamlPackages; [
-    ncurses ocaml findlib ltl2ba ocamlgraph ocamlgraph_gtk yojson menhirLib camlzip
-    lablgtk coq graphviz zarith apron why3 mlgmpidl doxygen
+    ncurses ocaml findlib ltl2ba ocamlgraph yojson menhirLib camlzip
+    lablgtk3 lablgtk3-sourceview3 coq graphviz zarith apron why3 mlgmpidl doxygen
     gdk-pixbuf
   ];