From 007d53ab02d0d42659af2125001d9050bcea6bdb Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 18 Feb 2022 11:51:15 +0100
Subject: [PATCH] [ci] Manual build for Frama-C - show progression - easier
control on parallelism
---
nix/frama-c.nix | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/nix/frama-c.nix b/nix/frama-c.nix
index 3f6a99533e4..a5668ac0148 100644
--- a/nix/frama-c.nix
+++ b/nix/frama-c.nix
@@ -69,6 +69,11 @@ stdenv.mkDerivation rec {
autoconf
'';
+ buildPhase = ''
+ make config.sed
+ dune build --display short @install
+ '';
+
installFlags = [
"FRAMAC_INSTALLDIR=$(out)"
];
--
GitLab