[nix-CI] Split the build inputs

Coq and the Coq libraries can now be excluded
(by setting the NOCOQ environment variable).

1 files changed, 8 insertions, 1 deletions

diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix
index 2c6e5b37bc..277e9ee08f 100644
--- a/dev/ci/nix/default.nix
+++ b/dev/ci/nix/default.nix
@@ -2,6 +2,7 @@
 , branch
 , wd
 , project ? "xyz"
+, withCoq ? true
 , bn ? "master"
 }:
 
@@ -75,10 +76,16 @@ else
 
 let prj = projects."${project}"; in
 
+let inherit (stdenv.lib) optional optionals; in
+
 stdenv.mkDerivation {
   name = "shell-for-${project}-in-${branch}";
 
-  buildInputs = [ coq ] ++ (prj.buildInputs or []);
+  buildInputs =
+    optional withCoq coq
+  ++ (prj.buildInputs or [])
+  ++ optionals withCoq (prj.coqBuildInputs or [])
+  ;
 
   configure = prj.configure or "true";
   make = prj.make or "make";