idris: disable failing test suite

This commit is contained in:
Peter Simons 2016-09-18 12:13:10 +02:00
parent 806d96b6a3
commit 2b1fea120c

View File

@ -989,6 +989,8 @@ self: super: {
preBuild = "export LD_LIBRARY_PATH=$PWD/dist/build:$LD_LIBRARY_PATH"; preBuild = "export LD_LIBRARY_PATH=$PWD/dist/build:$LD_LIBRARY_PATH";
# https://github.com/idris-lang/Idris-dev/issues/2499 # https://github.com/idris-lang/Idris-dev/issues/2499
librarySystemDepends = (drv.librarySystemDepends or []) ++ [pkgs.gmp]; librarySystemDepends = (drv.librarySystemDepends or []) ++ [pkgs.gmp];
# test suite cannot find its own "idris" binary
doCheck = false;
}); });
# https://github.com/pontarius/pontarius-xmpp/issues/105 # https://github.com/pontarius/pontarius-xmpp/issues/105