Make the ersatz tests pass
Fixes https://github.com/fpco/stackage/issues/2508
commitb237ff3cea526feba6504c1a7f777d51772c469a
authorRyan Scott <ryan.gl.scott@gmail.com>
dateSun 14 May 2017, 15:30 (9 years ago)
parentf4f7034
build-constraints.yaml−3
@@ -3398,9 +3398,6 @@ skipped-tests:
33983398 # criterion
33993399 - store
34003400
3401− # requires custom setup?
3402− - ersatz # https://github.com/fpco/stackage/issues/2508
3403−
34043401# end of skipped-tests
34053402
34063403# Tests which we should build and run, but which are expected to fail. We
debian-bootstrap.sh+1
@@ -117,6 +117,7 @@ apt-get install -y \
117117 llvm-3.7 \
118118 locales \
119119 m4 \
120+ minisat \
120121 mono-mcs \
121122 nettle-dev \
122123 nodejs \