From ca598328085fe7a379bff8777031101fba80921b Mon Sep 17 00:00:00 2001
From: Jacek Galowicz <jacek@galowicz.de>
Date: Sat, 2 Dec 2023 16:36:59 +0000
Subject: [PATCH] Fix coverage.nix

---
 coverage.nix | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/coverage.nix b/coverage.nix
index 2390ef52d..f952d8b09 100644
--- a/coverage.nix
+++ b/coverage.nix
@@ -14,19 +14,21 @@ releaseTools.coverageAnalysis {
 
   inherit (nix)
     src
-    configureFlags
-    nativeBuildInputs
     buildInputs
-    #checkInputs
+    nativeBuildInputs
+    propagatedBuildInputs
+    configureFlags
+    makeFlags
+    installFlags
+    doInstallCheck
+    installCheckFlags
+    installCheckTarget
     ;
 
   enableParallelBuilding = true;
 
   dontInstall = false;
 
-  doInstallCheck = true;
-  installCheckTarget = "installcheck"; # work around buggy detection in stdenv
-
   lcovFilter = [ "*/boost/*" "*-tab.*" ];
 
   hardeningDisable = ["fortify"];