Fix the coverage job

See https://hydra.nixos.org/build/206790960
NixOS · Jan 25, 2023 · 7589271 · 7589271
1 parent 189261c
commit 7589271
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -465,6 +465,10 @@
 
  src = self;
 
+ configureFlags = [
+ "CXXFLAGS=-I${lib.getDev pkgs.rapidcheck}/extras/gtest/include"
+ ];
+
  enableParallelBuilding = true;
 
  nativeBuildInputs = nativeBuildDeps;