Merge pull request #4061 from eschnett/eschnett/mpi-hs
Add user @eschnett and package mpi-hs
commit019588d08f9318eec2e9337aeb35860986b1406b
authorDan Burton <danburton.email@gmail.com>
dateMon 22 Oct 2018, 11:46 (8 years ago)
parentc98392b54022da
build-constraints.yaml+3
@@ -8,6 +8,9 @@ cabal-format-version: "2.2"
88# Constraints for brand new builds
99packages:
1010
11+ "Erik Schnetter <schnetter@gmail.com> @eschnett":
12+ - mpi-hs
13+
1114 "Yang Bo <pop.atry@gmail.com> @Atry":
1215 - control-dsl
1316
debian-bootstrap.sh+1
@@ -99,6 +99,7 @@ apt-get install -y \
9999 liboath-dev \
100100 libnotify-dev \
101101 libopenal-dev \
102+ libopenmpi-dev \
102103 libpango1.0-dev \
103104 libpcap0.8-dev \
104105 libpq-dev \