haskell-presburger: enable tests
The tests compile (and pass) since release of presburger version 1.3.1.
This commit is contained in:
parent
2054af839d
commit
5d88acfa70
@ -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";
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user