1#!/bin/sh -e
 2
 3./configure \
 4    --prefix=/usr \
 5    --libdir=/usr/lib \
 6    --enable-static \
 7    --enable-mini-gmp \
 8    --disable-documentation
 9
10make M4=gm4
11make DESTDIR="$1" install