diff options
| -rw-r--r-- | default.nix | 7 |
1 files 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 |