haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-02-18 09:15:50 +01:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Revert "sbv < 7.0 (LeventErkok/sbv#315)" and let testsuite fail

Browse Source 
sbv-7 requires z3-4.5+
This commit is contained in:
Jens Petersen 2017-07-24 09:31:24 +08:00
parent 1e717e9e48
commit b8ddaa3619
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build-constraints.yaml
View File

@ -3313,9 +3313,6 @@ packages:
# https://github.com/fpco/stackage/issues/2646 # https://github.com/fpco/stackage/issues/2646
- cron < 0.6 - cron < 0.6
# https://github.com/LeventErkok/sbv/issues/315
- sbv < 7.0
# https://github.com/fpco/stackage/issues/2656 # https://github.com/fpco/stackage/issues/2656
- happstack-server < 7.5.0 - happstack-server < 7.5.0
# end of packages # end of packages
@ -3684,6 +3681,7 @@ expected-test-failures:
- rethinkdb - rethinkdb
- rethinkdb-client-driver - rethinkdb-client-driver
- riak - riak
- sbv # needs z3 >= 4.5 (Xenial has 4.4)
- serialport # "The tests need two serial ports as command line arguments" https://github.com/jputcu/serialport/issues/30 - serialport # "The tests need two serial ports as command line arguments" https://github.com/jputcu/serialport/issues/30
- serversession-backend-redis # redis - serversession-backend-redis # redis
- shake # Needs ghc on $PATH with some installed haskell packages - shake # Needs ghc on $PATH with some installed haskell packages