From a1edc58bdb9353c8cb3e2a1e588f476853cf7d2f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 26 Jul 2022 13:01:07 +0200
Subject: [PATCH] [ci] repairs strange things done by Nix
---
nix/frama-c.nix | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index 849a47a825b..457a9d9c820 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -121,9 +121,14 @@ stdenvNoCC.mkDerivation rec {
tar -cf $build_dir/dir.tar .
'';
- # Required so that tests of external plugins can be excuted
+ # Nix moves these directories after they have been installed by Dune and
+ # compress manuals ...
+ # Note: Required so that tests of external plugins can be executed. Don't know
+ # why tests fail without them.
postFixup = ''
cp -r $out/share/doc $out/doc
+ cp -r $out/share/man $out/man
+ gzip -d $out/man/man1/*
'';
# Allow loading of external Frama-C plugins
--
GitLab