From 1acd714b2b0253aae05af534f3c7f7c0e726617a Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Tue, 5 Dec 2017 13:14:17 +0000
Subject: [default.nix] explain ncurses dependency

---
 default.nix | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/default.nix b/default.nix
index 6d50fb4d9..f78785a1f 100644
--- a/default.nix
+++ b/default.nix
@@ -42,10 +42,13 @@ stdenv.mkDerivation rec {
     # CoqIDE dependencies
     ocamlPackages.lablgtk
 
-  ] else []) ++ (if doCheck then [
+  ] else []) ++ (if doCheck then
 
     # Test-suite dependencies
-    ncurses
+    let inherit (stdenv.lib) versionAtLeast optional; in
+    /* ncurses is required to build an OCaml REPL */
+    optional (!versionAtLeast ocaml.version "4.07") ncurses
+    ++ [
     python
     rsync
     which
-- 
cgit v1.2.3