#!/bin/bash -e

apt-get -y install libgmp3-dev