From 5d88acfa7067605519dea67d82b9840c847cb8b8 Mon Sep 17 00:00:00 2001 From: Robert Helgesson Date: Thu, 9 Jul 2015 20:24:15 +0200 Subject: [PATCH] haskell-presburger: enable tests The tests compile (and pass) since release of presburger version 1.3.1. --- pkgs/development/haskell-modules/configuration-common.nix | 3 --- 1 file changed, 3 deletions(-) diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index 8c8ca70ca80..b581db8aa06 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";