eval "${PREFIX}/configure ${CONF_OPTS}" || STATUS="FAIL_CONFIGURE_$?"
if [ "${STATUS}" = "FAIL_CONFIGURE_127" -a -f "./Installation" -a -f "./config.log" ]; then
if [ $(tail -1 ./config.log) = "configure: exit 0" ]; then
STATUS="FAIL_CONFIGURE_0"
eval "${PREFIX}/configure ${CONF_OPTS}" || STATUS="FAIL_CONFIGURE_$?"
if [ "${STATUS}" = "FAIL_CONFIGURE_127" -a -f "./Installation" -a -f "./config.log" ]; then
if [ $(tail -1 ./config.log) = "configure: exit 0" ]; then
STATUS="FAIL_CONFIGURE_0"