From 97984cdb1f1a2aa59f000535b05abb28e2d27556 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 20 Apr 2021 14:55:03 +0200
Subject: [PATCH] [nix] export mk_deriv in frama-c attrset
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index dc8e32aae9c..ee9414ed133 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -33,7 +33,7 @@ in
pkgs.lib.makeExtensible
(self: {
- inherit src mk_buildInputs opam_packages;
+ inherit src mk_buildInputs opam_packages mk_deriv;
gen-opam-selection = mk_opam_derivations self.opam_packages;
buildInputs = mk_buildInputs {};
installed = self.main.out;
--
GitLab