From 54022da3f8493997c77f7fbd577535fae023cc72 Mon Sep 17 00:00:00 2001
From: Erik Schnetter <schnetter@gmail.com>
Date: Wed, 17 Oct 2018 15:12:58 -0400
Subject: [PATCH] Add user @eschnett and package mpi-hs

---
 build-constraints.yaml | 3 +++
 debian-bootstrap.sh    | 1 +
 2 files changed, 4 insertions(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 6d80d4d3..3f765caa 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -8,6 +8,9 @@ cabal-format-version: "2.2"
 # Constraints for brand new builds
 packages:
 
+    "Erik Schnetter <schnetter@gmail.com> @eschnett": 
+        - mpi-hs
+
     "Yang Bo <pop.atry@gmail.com> @Atry":
         - control-dsl
 
diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index b128b0e0..322a6a43 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -99,6 +99,7 @@ apt-get install -y \
     liboath-dev \
     libnotify-dev \
     libopenal-dev \
+    libopenmpi-dev \
     libpango1.0-dev \
     libpcap0.8-dev \
     libpq-dev \