From dc08fb3c30e68cfddb9b9040710f46a043948f40 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 20 Apr 2021 15:46:15 +0200
Subject: [PATCH] [nix] export mk_opam_derivations into frama-c attributes set
---
nix/default.nix | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index 0a46325110a..c6ccaa3bd6e 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -33,8 +33,8 @@ in
pkgs.lib.makeExtensible
(self: {
- inherit src mk_buildInputs opamPackages mk_deriv;
- gen-opam-selection = mk_opam_derivations self.opamPackages;
+ inherit src mk_buildInputs mk_opam_derivations opamPackages mk_deriv;
+ gen-opam-selection = self.mk_opam_derivations self.opamPackages;
buildInputs = mk_buildInputs {};
installed = self.main.out;
main = mk_deriv {
--
GitLab