requires libz-dev

This commit is contained in:
Steven Van Acker 2017-02-11 18:03:18 +01:00
parent 4760669b78
commit 31158b442b

View file

@ -1,4 +1,4 @@
#!/bin/bash
set -eu -o pipefail
apt-get -y install libgmp3-dev libgmp-dev
apt-get -y install libgmp3-dev libgmp-dev libz-dev