From 284bb3073da340774e8d65bfed004259be755a8a Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Sat, 20 Jul 2024 10:28:37 +0200
Subject: [PATCH] [nix] coverage workspace file: absolute path
---
nix/frama-c.nix | 2 +-
nix/mk_tests.nix | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index cb25fea5c8e..06780530296 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -124,7 +124,7 @@ stdenvNoCC.mkDerivation rec {
dune_opt = if release_mode then "--release" else "" ;
buildPhase = (if cover then ''
- export DUNE_WORKSPACE="dev/dune-workspace.cover"
+ export DUNE_WORKSPACE="$(pwd)/dev/dune-workspace.cover"
'' else "") +
''
dune build -j2 --display short --error-reporting=twice $dune_opt @install
diff --git a/nix/mk_tests.nix b/nix/mk_tests.nix
index ceab5c12649..4a54d793df4 100644
--- a/nix/mk_tests.nix
+++ b/nix/mk_tests.nix
@@ -92,7 +92,7 @@ stdenvNoCC.mkDerivation {
(if cover
then ''
mkdir -p _bisect
- export DUNE_WORKSPACE="dev/dune-workspace.cover"
+ export DUNE_WORKSPACE="$(pwd)/dev/dune-workspace.cover"
export BISECT_FILE="$(pwd)/_bisect/bisect-"
''
else "");
--
GitLab