./configure -d +lang all $OPTS &&

make_single &&
make &&
make_normal
