Merge pull request #36171 from dtzWill/fix/gecode_3

gecode_3: use bash to run "configure", fix error
This commit is contained in:
Jörg Thalheim 2018-03-04 06:03:50 +00:00 committed by GitHub
commit 0ea54b1907
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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