1#!/bin/sh
2make maintainer-clean
3./autogen.sh
4./configure --prefix=$HOME/usr --with-gmp=system --with-gmp-prefix=/usr
5make
6