diff --git a/nix/api-doc.nix b/nix/api-doc.nix
index ff41a6fa76adcc4153454d42f5f27fa5b69cc979..bb0f15e3a523413180104c772f7ba86b831ce2d1 100644
--- a/nix/api-doc.nix
+++ b/nix/api-doc.nix
@@ -19,7 +19,7 @@ stdenv.mkDerivation rec {
   ];
 
   buildPhase = ''
-    dune build -j1 @doc
+    dune build -j1 --error-reporting=twice @doc
     cp -r _build/default/_doc/_html frama-c-api
     echo ".dummy" > excluded
     tar czf frama-c-api.tar.gz -X excluded frama-c-api
diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index acb8dbb253f99a9af8f5adb3d814810f641fd97b..e24625d7c510383a88c556da57c1a6c6c50078ac 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -110,7 +110,7 @@ stdenvNoCC.mkDerivation rec {
   dune_opt = if release_mode then "--release" else "" ;
 
   buildPhase = ''
-    dune build -j2 --display short $release_mode @install
+    dune build -j2 --display short --error-reporting=twice $release_mode @install
     make tools/ptests/ptests.exe
     make tools/ptests/wtests.exe
   '';
diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix
index 40dc80c45ce02ca7fb90f8046e5ca709789d23e7..93af19cb7b66b3a12f6d33ebbb3d6b8544b0d791 100644
--- a/nix/internal-tests.nix
+++ b/nix/internal-tests.nix
@@ -115,7 +115,7 @@ stdenvNoCC.mkDerivation rec {
   # Do not use default parallel building, but allow 2 cores for Frama-C build
   enableParallelBuilding = false;
   buildPhase = ''
-    dune build -j2 --display short @install
+    dune build -j2 --display short --error-reporting=twice @install
     make tools/ptests/ptests.exe
     make tools/ptests/wtests.exe
   '';
diff --git a/nix/mk_plugin.nix b/nix/mk_plugin.nix
index c23ad7e3ac944389e498ac56fea9f3d7db8a9b40..ffd2e0597dda5a0a91c4904db0d0e8e84c7546d7 100644
--- a/nix/mk_plugin.nix
+++ b/nix/mk_plugin.nix
@@ -83,7 +83,7 @@ stdenv.mkDerivation {
   '';
   buildPhase = ''
     runHook preBuild
-    dune build -j2 --display short @install
+    dune build -j2 --display short --error-reporting=twice @install
   '';
 
   wp_cache =