From 1a366f9fc1f7d23832a9a9c9ec34dced1a4b9b7d Mon Sep 17 00:00:00 2001
From: Aliaksandr <grubian2@gmail.com>
Date: Sat, 31 Jan 2026 22:29:18 +0200
Subject: [PATCH 1/2] treewide: remove superfluous enableParallelBuilding for
 mkCoqDerivation

---
 pkgs/development/coq-modules/compcert/default.nix | 2 --
 pkgs/development/coq-modules/interval/default.nix | 1 -
 2 files changed, 3 deletions(-)

diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix
index cea8a38b575e..168c229c7fe5 100644
--- a/pkgs/development/coq-modules/compcert/default.nix
+++ b/pkgs/development/coq-modules/compcert/default.nix
@@ -91,8 +91,6 @@ let
       MenhirLib
     ];
 
-    enableParallelBuilding = true;
-
     postPatch = ''
       substituteInPlace ./configure \
         --replace \$\{toolprefix\}ar 'ar' \
diff --git a/pkgs/development/coq-modules/interval/default.nix b/pkgs/development/coq-modules/interval/default.nix
index a0f65d94e37c..e7b4662f2c2b 100644
--- a/pkgs/development/coq-modules/interval/default.nix
+++ b/pkgs/development/coq-modules/interval/default.nix
@@ -68,7 +68,6 @@ mkCoqDerivation rec {
     ++ lib.optionals (lib.versions.isGe "4.2.0" defaultVersion) [ gnuplot_qt ];
   useMelquiondRemake.logpath = "Interval";
   mlPlugin = true;
-  enableParallelBuilding = true;
 
   meta = {
     description = "Tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant";

From b4e15ead13ae495905b93a0e521d18558ed24776 Mon Sep 17 00:00:00 2001
From: Aliaksandr <grubian2@gmail.com>
Date: Sat, 31 Jan 2026 22:24:07 +0200
Subject: [PATCH 2/2] mkCoqDerivation: warn on superfluous
 enableParallelBuilding

---
 pkgs/build-support/coq/default.nix | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/pkgs/build-support/coq/default.nix b/pkgs/build-support/coq/default.nix
index 6bbd01da9d2d..c649a493c8ff 100644
--- a/pkgs/build-support/coq/default.nix
+++ b/pkgs/build-support/coq/default.nix
@@ -98,6 +98,7 @@ let
       "dropAttrs"
       "dropDerivationAttrs"
       "keepAttrs"
+      "enableParallelBuilding"
     ]
     ++ dropAttrs
   ) keepAttrs;
@@ -201,7 +202,10 @@ stdenv.mkDerivation (
         );
       buildInputs =
         args.overrideBuildInputs or ([ coq ] ++ (args.buildInputs or [ ]) ++ extraBuildInputs);
-      inherit enableParallelBuilding;
+      enableParallelBuilding =
+        lib.warnIf (args ? enableParallelBuilding && args.enableParallelBuilding == true)
+          "mkCoqDerivation: enableParallelBuilding is enabled by default; remove the explicit setting"
+          enableParallelBuilding;
 
       meta =
         (