if [ "$SAGE64" = "yes" ]; then
    if [ -z "$CFLAG64" ]; then
        CFLAG64=-m64
    fi
    echo "Building a 64-bit version of MPFI (using '$CFLAG64')."
    CFLAGS="-O2 -g -fPIC $CFLAGS $CFLAG64"; export CFLAGS
    CXXFLAGS="-O2 -g -fPIC $CXXFLAGS $CFLAG64"; export CXXFLAGS
    LDFLAGS="$LDFLAGS $CFLAG64"; export LDFLAGS
else
    CFLAGS="-O2 -g -fPIC $CFLAGS"; export CFLAGS
fi

cd src

# Use newer version of config.guess and config.sub (see Trac #19716)
cp "$SAGE_ROOT"/config/config.* .

sdh_configure --with-mpfr="$SAGE_LOCAL" --with-gmp="$SAGE_LOCAL"
sdh_make
sdh_make_install

if ! [ $? -eq 0 -a -f $SAGE_DESTDIR$SAGE_LOCAL/include/mpfi.h ]; then
    echo "An error occurred while building MPFI."
    exit 1
fi
