ecm: fix build via -enable-gmp-cflags=false

Co-authored-by: Dmitry Bogatov <kaction.cc@gmail.com>
2025-08-31 12:11:28 +02:00
parent 1879e2f015
commit 6ea6f7bcb2
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