From 7cba5f28a55862d53d87d4dfedd78b2a2f08e2fb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 2 Oct 2020 17:28:38 +0200
Subject: [PATCH] Update default.nix to use default alt-ergo
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index 62cda97c..b2a37e5f 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -15,7 +15,7 @@ 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 ];
- opamPackages = [ "camlp5" { name = "alt-ergo"; constraint = "=2.3.1"; } ];
+ opamPackages = [ "camlp5" ];
preFramaCTests = ''
echo CONFIGURING Why3 for Frama_Clang.
export HOME=$(mktemp -d)
--
GitLab