diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-12-07 10:15:34 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-12-07 10:15:34 +0100 |
| commit | 0434a8cdb16f1a66c3044c178e30d0fe6b55e488 (patch) | |
| tree | b522eef57dc824d62b72e9a4f5b335bc67d8e09b /default.nix | |
| parent | 01dffadf2716d6d88c236c7333b8c43a54d39f95 (diff) | |
| parent | 1acd714b2b0253aae05af534f3c7f7c0e726617a (diff) | |
Merge PR #6309: [default.nix] needs ncurses for the test-suite
Diffstat (limited to 'default.nix')
| -rw-r--r-- | default.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/default.nix b/default.nix index 86f86ff99..5b5304e5a 100644 --- a/default.nix +++ b/default.nix @@ -42,9 +42,13 @@ stdenv.mkDerivation rec { # CoqIDE dependencies ocamlPackages.lablgtk - ] else []) ++ (if doCheck then [ + ] else []) ++ (if doCheck then # Test-suite dependencies + 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 |