Skip to content
Snippets Groups Projects
Commit dc08fb3c authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[nix] export mk_opam_derivations into frama-c attributes set

parent ba5d8bd5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
nix/default.nix
+ 2
− 2
View file @ dc08fb3c
...@@ -33,8 +33,8 @@ in ...@@ -33,8 +33,8 @@ in
pkgs.lib.makeExtensible pkgs.lib.makeExtensible
(self: { (self: {
inherit src mk_buildInputs opamPackages mk_deriv; inherit src mk_buildInputs mk_opam_derivations opamPackages mk_deriv;
gen-opam-selection = mk_opam_derivations self.opamPackages; gen-opam-selection = self.mk_opam_derivations self.opamPackages;
buildInputs = mk_buildInputs {}; buildInputs = mk_buildInputs {};
installed = self.main.out; installed = self.main.out;
main = mk_deriv { main = mk_deriv {
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment