cd src
if [ -n "$SAGE_GMP_PREFIX" ]; then
GMP_CONFIGURE="--with-gmp-prefix=$SAGE_GMP_PREFIX"
fi
if [ -n "$SAGE_NTL_PREFIX" ]; then
NTL_CONFIGURE="--with-ntl-prefix=$SAGE_NTL_PREFIX"
fi
sdh_configure $GMP_CONFIGURE \
$NTL_CONFIGURE \
--with-isl=system \
--with-polylib=system \
--enable-shared-barvinok
sdh_make
sdh_make_install
