Merge pull request #8007 from edolstra/fix-coverage

Fix coverage job
This commit is contained in:
Eelco Dolstra 2023-03-08 14:45:13 +01:00 committed by GitHub
commit 0159dfad3f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -523,18 +523,16 @@
enableParallelBuilding = true;
nativeBuildInputs = nativeBuildDeps;
buildInputs = buildDeps ++ propagatedDeps ++ awsDeps;
buildInputs = buildDeps ++ propagatedDeps ++ awsDeps ++ checkDeps;
dontInstall = false;
doInstallCheck = true;
installCheckTarget = "installcheck"; # work around buggy detection in stdenv
lcovFilter = [ "*/boost/*" "*-tab.*" ];
# We call `dot', and even though we just use it to
# syntax-check generated dot files, it still requires some
# fonts. So provide those.
FONTCONFIG_FILE = texFunctions.fontsConf;
hardeningDisable = ["fortify"];
};
# System tests.