diff options
Diffstat (limited to 'pkgs/development/tools/hobbes/default.nix')
| -rw-r--r-- | pkgs/development/tools/hobbes/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/tools/hobbes/default.nix b/pkgs/development/tools/hobbes/default.nix index 667997ddff4d..f4741a390ed1 100644 --- a/pkgs/development/tools/hobbes/default.nix +++ b/pkgs/development/tools/hobbes/default.nix @@ -1,4 +1,4 @@ -{ lib, stdenv, fetchFromGitHub, cmake, llvm_6, ncurses, readline, zlib }: +{ lib, stdenv, fetchFromGitHub, cmake, llvm_6, ncurses, readline, zlib, libxml2 }: stdenv.mkDerivation { name = "hobbes"; @@ -20,6 +20,7 @@ stdenv.mkDerivation { ncurses readline zlib + libxml2 ]; doCheck = false; # Running tests in NixOS hangs. See https://git.io/JvK7R. |