From b237ff3cea526feba6504c1a7f777d51772c469a Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Sun, 14 May 2017 15:30:22 -0400
Subject: [PATCH] Make the ersatz tests pass

Fixes https://github.com/fpco/stackage/issues/2508
---
 build-constraints.yaml | 3 ---
 debian-bootstrap.sh    | 1 +
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 29c95400..24a5ac47 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3398,9 +3398,6 @@ skipped-tests:
     # criterion
     - store
 
-    # requires custom setup?
-    - ersatz # https://github.com/fpco/stackage/issues/2508
-
 # end of skipped-tests
 
 # Tests which we should build and run, but which are expected to fail. We
diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index e4cd6dc6..372234bd 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -117,6 +117,7 @@ apt-get install -y \
     llvm-3.7 \
     locales \
     m4 \
+    minisat \
     mono-mcs \
     nettle-dev \
     nodejs \