on master help sign in
Re-enable mpi-hs

Switch MPI library dependency from OpenMPI to MPICH. (This is very likely fine since OpenMPI was added for mpi-hs.) We use MPICH since OpenMPI in Xenial does not support multi-threading yet. Closes #5278.

commitda55d91a420ab28629c71d250fc81c73e2a62074 authorErik Schnetter <schnetter@gmail.com> dateSun 29 Mar 2020, 21:51 (7 years ago) parent50388f1
2 files changed+2−2
build-constraints.yaml+1−1 debian-bootstrap.sh+1−1
build-constraints.yaml+1−1
@@ -133,7 +133,7 @@ packages:
133133 - PyF
134134
135135 "Erik Schnetter <schnetter@gmail.com> @eschnett":
136− - mpi-hs < 0 # https://github.com/commercialhaskell/stackage/issues/5278
136+ - mpi-hs
137137
138138 "Yang Bo <pop.atry@gmail.com> @Atry":
139139 - control-dsl < 0 # via doctest-discover
debian-bootstrap.sh+1−1
@@ -92,13 +92,13 @@ apt-get install -y \
9292 libmono-2.0-dev \
9393 libmp3lame-dev \
9494 libmpfr-dev \
95+ libmpich-dev \
9596 libmysqlclient-dev \
9697 libncurses5-dev \
9798 libnfc-dev \
9899 liboath-dev \
99100 libnotify-dev \
100101 libopenal-dev \
101− libopenmpi-dev \
102102 libpango1.0-dev \
103103 libpcap0.8-dev \
104104 libpcre2-dev \