diff options
author | Robert Helgesson <robert@rycee.net> | 2015-07-09 20:24:15 +0200 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2015-07-09 20:27:00 +0200 |
commit | 5d88acfa7067605519dea67d82b9840c847cb8b8 (patch) | |
tree | 133ce9ebea3d8e68bc1cdf197695c0a1f6529e06 /pkgs/development/haskell-modules/configuration-common.nix | |
parent | 2054af839d4912fc9d593cdb19ba1ebd72fca9c9 (diff) | |
download | nixlib-5d88acfa7067605519dea67d82b9840c847cb8b8.tar nixlib-5d88acfa7067605519dea67d82b9840c847cb8b8.tar.gz nixlib-5d88acfa7067605519dea67d82b9840c847cb8b8.tar.bz2 nixlib-5d88acfa7067605519dea67d82b9840c847cb8b8.tar.lz nixlib-5d88acfa7067605519dea67d82b9840c847cb8b8.tar.xz nixlib-5d88acfa7067605519dea67d82b9840c847cb8b8.tar.zst nixlib-5d88acfa7067605519dea67d82b9840c847cb8b8.zip |
haskell-presburger: enable tests
The tests compile (and pass) since release of presburger version 1.3.1.
Diffstat (limited to 'pkgs/development/haskell-modules/configuration-common.nix')
-rw-r--r-- | pkgs/development/haskell-modules/configuration-common.nix | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 8c8ca70ca80d..b581db8aa066 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -88,9 +88,6 @@ self: super: { yices-easy = dontDistribute super.yices-easy; yices-painless = dontDistribute super.yices-painless; - # The test suite refers to its own library with an invalid version constraint. - presburger = dontCheck super.presburger; - # Won't find it's header files without help. sfml-audio = appendConfigureFlag super.sfml-audio "--extra-include-dirs=${pkgs.openal}/include/AL"; |