From dec2994980e00eff72f474aed6da94b97c3d703a Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 24 Jan 2019 09:58:33 +0000
Subject: [nix-CI] Split the build inputs

Coq and the Coq libraries can now be excluded
(by setting the NOCOQ environment variable).
---
 dev/ci/nix/shell | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'dev/ci/nix/shell')

diff --git a/dev/ci/nix/shell b/dev/ci/nix/shell
index 2e4462ed40..a5f8ee8f54 100755
--- a/dev/ci/nix/shell
+++ b/dev/ci/nix/shell
@@ -17,4 +17,10 @@ else
   BN=""
 fi
 
-nix-shell ./dev/ci/nix/ --show-trace --argstr wd $PWD --argstr branch $BRANCH $PROJECT $BN
+if [ "$NOCOQ" ]; then
+    NOCOQ="--arg withCoq false"
+else
+    NOCOQ=""
+fi
+
+nix-shell ./dev/ci/nix/ --show-trace --argstr wd $PWD --argstr branch $BRANCH $PROJECT $BN $NOCOQ
-- 
cgit v1.2.3