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/README.md | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'dev/ci/nix/README.md')

diff --git a/dev/ci/nix/README.md b/dev/ci/nix/README.md
index 1685b084e9..6f32abef95 100644
--- a/dev/ci/nix/README.md
+++ b/dev/ci/nix/README.md
@@ -17,3 +17,10 @@ build-system of that project: `configure`, `make`, and `clean`. Therefore, after
 changing the working directory to the root of the sources of that project, the
 contents of these variables can be evaluated to respectively set-up, build, and
 clean the project.
+
+## Variant: nocoq
+
+The dependencies of the third-party developments are split into `buildInputs`
+and `coqBuildInputs`. The second list gathers the Coq libraries. In case you
+only want the non-coq dependencies (because you want to use Coq from your `PATH`),
+set the environment variable `NOCOQ` to some non-empty value.
-- 
cgit v1.2.3