default_pre_build &&

./autogen.sh &&

OPTS+=" --with-isl=no --with-osl=no --with-gmp=system"
