diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/isl/0.20.0.nix')
| -rw-r--r-- | nixpkgs/pkgs/development/libraries/isl/0.20.0.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/isl/0.20.0.nix b/nixpkgs/pkgs/development/libraries/isl/0.20.0.nix index c35588555a7f..c40b3d7be0b4 100644 --- a/nixpkgs/pkgs/development/libraries/isl/0.20.0.nix +++ b/nixpkgs/pkgs/development/libraries/isl/0.20.0.nix @@ -10,6 +10,10 @@ stdenv.mkDerivation rec { buildInputs = [ gmp ]; + configureFlags = [ + "--with-gcc-arch=generic" # don't guess -march=/mtune= + ]; + enableParallelBuilding = true; meta = { |