From 61f65aed98d826d3ad09a523881943210858f7d3 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Thu, 6 Aug 2020 14:46:39 +0200
Subject: [PATCH] [Nix] Try to use alt-ergo 2.0.0.
---
nix/default.nix | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index 4a094099..456cddc5 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -14,11 +14,11 @@ in
plugins.helpers.simple_plugin
{ inherit pkgs stdenv src opam2nix ocaml_version plugins;
name = "frama-clang";
- deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused pkgs.alt-ergo ];
- opamPackages = [ "camlp5" ];
+ deps = [ unstablePckgs.llvmPackages_9.clang-unwrapped unstablePckgs.llvm_9 pkgs.gnused ];
+ opamPackages = [ "camlp5" { name = "alt-ergo"; constraint = "=2.0.0"; } ];
configure_options = "-with-clang-includedir=${unstablePckgs.llvmPackages_9.clang-unwrapped}";
preFramaCTests = ''
- echo Configuring Why3 for frama-clang.
+ echo CONFIGURING Why3 for Frama_Clang.
export HOME=$(mktemp -d)
why3 config --full-config
'';
--
GitLab