public
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

framac: use wrapGAppsHook 

this solves a gdk-pixbuf related problem when using nix-bundle
This commit is contained in:
Symphorien Gibol 2020-11-03 17:37:24 +01:00 committed by Bjørn Forsman
parent 80a2f1f35d
commit 6e5d98ebdb
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
pkgs/development/tools/analysis/frama-c/default.nix
View File

@ -1,6 +1,7 @@
{ lib, stdenv, fetchurl, makeWrapper, writeText { lib, stdenv, fetchurl, makeWrapper, writeText
, autoconf, ncurses, graphviz, doxygen , autoconf, ncurses, graphviz, doxygen
, ocamlPackages, ltl2ba, coq, why3, , ocamlPackages, ltl2ba, coq, why3
, gdk-pixbuf, wrapGAppsHook
}: }:
let let
@ -33,20 +34,18 @@ stdenv.mkDerivation rec {
preConfigure = lib.optionalString stdenv.cc.isClang "configureFlagsArray=(\"--with-cpp=clang -E -C\")"; preConfigure = lib.optionalString stdenv.cc.isClang "configureFlagsArray=(\"--with-cpp=clang -E -C\")";
nativeBuildInputs = [ autoconf makeWrapper ]; nativeBuildInputs = [ autoconf wrapGAppsHook ];
buildInputs = with ocamlPackages; [ buildInputs = with ocamlPackages; [
ncurses ocaml findlib ltl2ba ocamlgraph yojson menhir camlzip ncurses ocaml findlib ltl2ba ocamlgraph yojson menhir camlzip
lablgtk coq graphviz zarith apron why3 mlgmpidl doxygen lablgtk coq graphviz zarith apron why3 mlgmpidl doxygen
gdk-pixbuf
]; ];
enableParallelBuilding = true; enableParallelBuilding = true;
fixupPhase = '' preFixup = ''
for p in $out/bin/frama-c{,-gui}; gappsWrapperArgs+=(--prefix OCAMLPATH ':' ${ocamlpath})
do
wrapProgram $p --prefix OCAMLPATH ':' ${ocamlpath}
done
''; '';
# Allow loading of external Frama-C plugins # Allow loading of external Frama-C plugins