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

/barrelfish-master/usr/eclipseclp/Alog/src/
H A Dconfigure99 ac_feature=`echo $ac_option|sed -e 's/-*disable-//'`
101 if test -n "`echo $ac_feature| sed 's/[-a-zA-Z0-9_]//g'`"; then
102 { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
104 ac_feature=`echo $ac_feature| sed 's/-/_/g'`
105 eval "enable_${ac_feature}=no" ;;
108 ac_feature=`echo $ac_option|sed -e 's/-*enable-//' -e 's/=.*//'`
110 if test -n "`echo $ac_feature| sed 's/[-_a-zA-Z0-9]//g'`"; then
111 { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
113 ac_feature
[all...]
/barrelfish-master/usr/eclipseclp/Usc/src/
H A Dconfigure99 ac_feature=`echo $ac_option|sed -e 's/-*disable-//'`
101 if test -n "`echo $ac_feature| sed 's/[-a-zA-Z0-9_]//g'`"; then
102 { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
104 ac_feature=`echo $ac_feature| sed 's/-/_/g'`
105 eval "enable_${ac_feature}=no" ;;
108 ac_feature=`echo $ac_option|sed -e 's/-*enable-//' -e 's/=.*//'`
110 if test -n "`echo $ac_feature| sed 's/[-_a-zA-Z0-9]//g'`"; then
111 { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
113 ac_feature
[all...]
/barrelfish-master/usr/eclipseclp/Pds/src/
H A Dconfigure99 ac_feature=`echo $ac_option|sed -e 's/-*disable-//'`
101 if test -n "`echo $ac_feature| sed 's/[-a-zA-Z0-9_]//g'`"; then
102 { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
104 ac_feature=`echo $ac_feature| sed 's/-/_/g'`
105 eval "enable_${ac_feature}=no" ;;
108 ac_feature=`echo $ac_option|sed -e 's/-*enable-//' -e 's/=.*//'`
110 if test -n "`echo $ac_feature| sed 's/[-_a-zA-Z0-9]//g'`"; then
111 { echo "configure: error: $ac_feature: invalid feature name" 1>&2; exit 1; }
113 ac_feature
[all...]
/barrelfish-master/usr/eclipseclp/Shm/src/
H A Dconfigure396 ac_feature=`expr "x$ac_option" : 'x-*disable-\(.*\)'`
398 expr "x$ac_feature" : ".*[^-_$as_cr_alnum]" >/dev/null &&
399 { echo "$as_me: error: invalid feature name: $ac_feature" >&2
401 ac_feature=`echo $ac_feature | sed 's/-/_/g'`
402 eval "enable_$ac_feature=no" ;;
405 ac_feature=`expr "x$ac_option" : 'x-*enable-\([^=]*\)'`
407 expr "x$ac_feature" : ".*[^-_$as_cr_alnum]" >/dev/null &&
408 { echo "$as_me: error: invalid feature name: $ac_feature" >&2
410 ac_feature
[all...]

Completed in 90 milliseconds