From 672e585951bf013c3c1306a64466e1c5b86dcf2d Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Mon, 13 Jan 2025 16:29:17 +0100
Subject: [PATCH] [ci] Add patchShebang to frama-c.nix
The script `ivette/api.sh` with a shebang is run when building Frama-C
so a call to `patchShebang` in `frama-c.nix` is necessary so that the
shebang in the script is correctly handled by Nix in all cases.
---
nix/frama-c.nix | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index 4a1a02b544..c6dda4b013 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -109,6 +109,10 @@ stdenvNoCC.mkDerivation rec {
outputs = [ "out" "build_dir" ];
+ postPatch = ''
+ patchShebangs .
+ '';
+
preConfigure = ''
dune build @frama-c-configure
'';
--
GitLab