From f5fd241e99867863152ca72edab069aff06c17f9 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 9 Jul 2021 10:55:16 +0200
Subject: [PATCH] [nix] fix eva-tests
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index b6cdc9bdde2..3d1a1a7e696 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -254,7 +254,7 @@ pkgs.lib.makeExtensible
installPhase = ''
true
'';
- };
+ } // { other-opam-selection = "main"; };
e-acsl-tests-dev = mk_deriv {
name = "frama-c-e-acsl-tests-dev";
--
GitLab