CFLAGS="$CFLAGS_O3_NON_NATIVE"
CXXFLAGS="$CXXFLAGS_O3_NON_NATIVE"

export CFLAGS CXXFLAGS

cd src/

sdh_configure $SAGE_CONFIGURE_NTL \
              $SAGE_CONFIGURE_PARI \
              --with-flint=$SAGE_FLINT_PREFIX \
              --with-boost="no" \
              --disable-allprogs
sdh_make
sdh_make_install