From 701dcec35145c66f3a588c7f617cda709734850c Mon Sep 17 00:00:00 2001 From: Jan Tojnar Date: Sun, 16 Jan 2022 03:09:36 +0100 Subject: [PATCH] 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 --- pkgs/development/tools/analysis/frama-c/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index 1b627376aca02..b5ae5055d02d9 100644 --- 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 ];