From 04cc01918fb79a6031af214e31b3cb7fcdd936bd Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 6 Aug 2020 13:52:49 +0200
Subject: [PATCH] [Nix] Force configure why3.
---
nix/default.nix | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/nix/default.nix b/nix/default.nix
index b96f2616..891f96a3 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -17,4 +17,8 @@ plugins.helpers.simple_plugin
deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused ];
opamPackages = [ "camlp5" ];
configure_options = "-with-clang-includedir=${unstablePckgs.llvmPackages_9.clang-unwrapped}";
+ preFramaCTests = ''
+ echo Configuring Why3 for frama-clang.
+ why3 config --full-config
+ '';
}
--
GitLab