ecm: fix build via -enable-gmp-cflags=false (#437237)

2025-09-03 21:09:35 +02:00
parent 8e62bafa5c 6ea6f7bcb2
commit 533ea4741f
1 changed files with 7 additions and 2 deletions
@@ -26,8 +26,13 @@ stdenv.mkDerivation {
    substituteInPlace test.ecm --replace /bin/rm rm
  '';

-  # See https://trac.sagemath.org/ticket/19233
-  configureFlags = lib.optional stdenv.hostPlatform.isDarwin "--disable-asm-redc";
+  configureFlags = [
+    # Otherwise, undesired flags from gmp (such as -std=c99) are leaking
+    "-enable-gmp-cflags=false"
+  ]
+  ++
+    # See https://trac.sagemath.org/ticket/19233
+    lib.optional stdenv.hostPlatform.isDarwin "--disable-asm-redc";

  buildInputs = [
    m4