diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2018-03-04 06:03:50 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-04 06:03:50 +0000 |
commit | 0ea54b19070b2a92e2d1a170a1e7cd65fb5bca5f (patch) | |
tree | 3a78d125e9a8a510174a5218fa0aa0854071e4ab | |
parent | 9e1548dc86c2a85b110691ec817cc0d85a2a063f (diff) | |
parent | fbaa334bcdfa59ca7603bcc9694d2aa3b7d5e8f4 (diff) | |
download | nixpkgs-0ea54b19070b2a92e2d1a170a1e7cd65fb5bca5f.tar nixpkgs-0ea54b19070b2a92e2d1a170a1e7cd65fb5bca5f.tar.gz nixpkgs-0ea54b19070b2a92e2d1a170a1e7cd65fb5bca5f.tar.bz2 nixpkgs-0ea54b19070b2a92e2d1a170a1e7cd65fb5bca5f.tar.lz nixpkgs-0ea54b19070b2a92e2d1a170a1e7cd65fb5bca5f.tar.xz nixpkgs-0ea54b19070b2a92e2d1a170a1e7cd65fb5bca5f.tar.zst nixpkgs-0ea54b19070b2a92e2d1a170a1e7cd65fb5bca5f.zip |
Merge pull request #36171 from dtzWill/fix/gecode_3
gecode_3: use bash to run "configure", fix error
-rw-r--r-- | pkgs/development/libraries/gecode/3.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pkgs/development/libraries/gecode/3.nix b/pkgs/development/libraries/gecode/3.nix index a0f3dc636f9..db2b14d71fd 100644 --- a/pkgs/development/libraries/gecode/3.nix +++ b/pkgs/development/libraries/gecode/3.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, perl }: +{ stdenv, fetchurl, bash, perl }: stdenv.mkDerivation rec { name = "gecode-${version}"; @@ -9,7 +9,9 @@ stdenv.mkDerivation rec { sha256 = "0k45jas6p3cyldgyir1314ja3174sayn2h2ly3z9b4dl3368pk77"; }; - buildInputs = [ perl ]; + nativeBuildInputs = [ bash perl ]; + + preConfigure = "patchShebangs configure"; meta = with stdenv.lib; { license = licenses.mit; |