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