#!/bin/sh -e

./configure \
    --prefix=/usr \
    --enable-shared \
    --enable-static \
    --enable-mini-gmp \
    --disable-documentation

make
make DESTDIR="$1" install