Merge pull request #2512 from RyanGlScott/master
Make the ersatz tests pass
commit3c7aaaeaf401a7aed85d074d2f83e4088c636b27
authorMihai Maruseac <mihai.maruseac@gmail.com>
dateSun 14 May 2017, 19:05 (9 years ago)
parent36c8548b237ff3
build-constraints.yaml−3
@@ -3401,9 +3401,6 @@ skipped-tests:
34013401 # criterion
34023402 - store
34033403
3404− # requires custom setup?
3405− - ersatz # https://github.com/fpco/stackage/issues/2508
3406−
34073404# end of skipped-tests
34083405
34093406# 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 \