Searched refs:ac_useropt (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure963 ac_useropt=`expr "x$ac_option" : 'x-*disable-\(.*\)'`
965 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
966 as_fn_error $? "invalid feature name: $ac_useropt"
967 ac_useropt_orig=$ac_useropt
968 ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
971 "enable_$ac_useropt"
976 eval enable_$ac_useropt=no ;;
989 ac_useropt=`expr "x$ac_option" : 'x-*enable-\([^=]*\)'`
991 expr "x$ac_useropt"
[all...]

Completed in 100 milliseconds