From cc60c8f7112fc300726a582348a64f7a580f19f2 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 21 Apr 2022 17:10:40 +0200
Subject: [PATCH] [ci] fix eva gen-api.sh
---
nix/frama-c.nix | 2 ++
1 file changed, 2 insertions(+)
diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index 347ca1f1225..34d0802ce28 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -84,6 +84,8 @@ stdenvNoCC.mkDerivation rec {
preConfigure = ''
autoconf
+ patchShebangs src/plugins/value/gen-api.sh
+ chmod +x src/plugins/value/gen-api.sh
'';
# Do not use default parallel building, but allow 2 cores for Frama-C build
--
GitLab