diff options
Diffstat (limited to 'pkgs/development/libraries/gecode/3.nix')
-rw-r--r-- | pkgs/development/libraries/gecode/3.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/libraries/gecode/3.nix b/pkgs/development/libraries/gecode/3.nix index 5c660a99ef8..3cf5d590fa8 100644 --- a/pkgs/development/libraries/gecode/3.nix +++ b/pkgs/development/libraries/gecode/3.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchurl, bash, perl }: +{ lib, stdenv, fetchurl, perl }: stdenv.mkDerivation rec { pname = "gecode"; @@ -9,7 +9,7 @@ stdenv.mkDerivation rec { sha256 = "0k45jas6p3cyldgyir1314ja3174sayn2h2ly3z9b4dl3368pk77"; }; - nativeBuildInputs = [ bash perl ]; + nativeBuildInputs = [ perl ]; preConfigure = "patchShebangs configure"; |