From 7325f5b3c43f310e8c4c252a447dafc4bd71a5fc Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Tue, 16 Feb 2021 08:58:13 +0100 Subject: [PATCH] [ci] add missing dependency to lint target --- nix/default.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/nix/default.nix b/nix/default.nix index 5e3ef8515c6..6b45d562bcc 100644 --- a/nix/default.nix +++ b/nix/default.nix @@ -76,6 +76,7 @@ rec { inherit src; buildInputs = (mk_buildInputs { + nixPackages = [ pkgs.bc ]; opamPackages = [ { name = "ocp-indent"; constraint = "=1.7.0"; } { name = "headache"; constraint = "=1.05"; } -- GitLab