#!/bin/bash
set -eu -o pipefail

apt-get -y install libgmp3-dev libgmp-dev