about summary refs log tree commit diff
diff options
context:
space:
mode:
authorVincent Haupert <mail@vincent-haupert.de>2021-04-09 01:51:21 +0200
committergithub-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>2021-04-09 07:20:12 +0000
commit13598220a699ec9039323aa79e8145d902657b5e (patch)
treeaa89634f2e40793065e5feb5fb62f1ae9bcce1c3
parent4462a1f678e445e1a9b346fa3b2e8f73e7c45cdc (diff)
isl_0_20: do not guess -march=/-mtune=
See #106587
-rw-r--r--pkgs/development/libraries/isl/0.20.0.nix4
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/libraries/isl/0.20.0.nix b/pkgs/development/libraries/isl/0.20.0.nix
index c35588555a7f7..c40b3d7be0b4c 100644
--- a/pkgs/development/libraries/isl/0.20.0.nix
+++ b/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 = {