From d81489f2724d1b4b811f39098a405ff52d80dd5f Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 4 May 2021 16:21:10 +0200
Subject: [PATCH] [nix] complete extra opam-selection.nix generation
---
nix/default.nix | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index 1364faadb75..3df7c26e433 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -131,7 +131,7 @@ pkgs.lib.makeExtensible
installPhase = ''
true
'';
- };
+ } // { other-opam-selection = "main"; };
build-distrib-tarball = mk_deriv {
name = "frama-c-build-distrib-tarball";
@@ -174,7 +174,7 @@ pkgs.lib.makeExtensible
installPhase = ''
true
'';
- };
+ } // { other-opam-selection = "build-distrib-tarball"; };
wp-qualif = mk_deriv {
name = "frama-c-wp-qualif";
@@ -202,7 +202,7 @@ pkgs.lib.makeExtensible
installPhase = ''
true
'';
- };
+ } // { other-opam-selection = "main"; };
aorai-prove = mk_deriv {
name = "frama-c-aorai-prove";
@@ -230,7 +230,7 @@ pkgs.lib.makeExtensible
installPhase = ''
true
'';
- };
+ } // { other-opam-selection = "main"; };
e-acsl-tests-dev = mk_deriv {
name = "frama-c-e-acsl-tests-dev";
@@ -252,7 +252,7 @@ pkgs.lib.makeExtensible
installPhase = ''
true
'';
- };
+ } // { other-opam-selection = "main"; };
internal = mk_deriv {
name = "frama-c-internal";
--
GitLab