b12f/nixpkgs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

framac: Update to GTK 3

Browse source 
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
This commit is contained in:
Jan Tojnar 2022-01-16 03:09:36 +01:00
parent 2efc972113
commit 701dcec351
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/development/tools/analysis/frama-c/default.nix
View file

@ -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
];