Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/configure

1296 for ac_var in	exec_prefix prefix bindir sbindir libexecdir datarootdir \
1301   eval ac_val=\$$ac_var
1306       eval $ac_var=\$ac_val;;
1311     NONE | '' ) case $ac_var in *prefix ) continue;; esac;;
1313   as_fn_error $? "expected an absolute directory name for --$ac_var: $ac_val"
1398 for ac_var in $ac_precious_vars; do
1399   eval ac_env_${ac_var}_set=\${${ac_var}+set}
1400   eval ac_env_${ac_var}_value=\$${ac_var}
1401   eval ac_cv_env_${ac_var}_set=\${${ac_var}+set}
1402   eval ac_cv_env_${ac_var}_value=\$${ac_var}
2707   for ac_var in `(set) 2>&1 | sed -n '\''s/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'\''`; do
2708     eval ac_val=\$$ac_var
2711       case $ac_var in #(
2712       *_cv_*) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: cache variable $ac_var contains a newline" >&5
2713 $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;;
2715       case $ac_var in #(
2717       BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
2718       *) { eval $ac_var=; unset $ac_var;} ;;
2741     for ac_var in $ac_subst_vars
2743       eval ac_val=\$$ac_var
2747       $as_echo "$ac_var='\''$ac_val'\''"
2756       for ac_var in $ac_subst_files
2758 	eval ac_val=\$$ac_var
2762 	$as_echo "$ac_var='\''$ac_val'\''"
2873 for ac_var in $ac_precious_vars; do
2874   eval ac_old_set=\$ac_cv_env_${ac_var}_set
2875   eval ac_new_set=\$ac_env_${ac_var}_set
2876   eval ac_old_val=\$ac_cv_env_${ac_var}_value
2877   eval ac_new_val=\$ac_env_${ac_var}_value
2880       { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&5
2881 $as_echo "$as_me: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&2;}
2884       { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was not set in the previous run" >&5
2885 $as_echo "$as_me: error: \`$ac_var' was not set in the previous run" >&2;}
2894 	  { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' has changed since the previous run:" >&5
2895 $as_echo "$as_me: error: \`$ac_var' has changed since the previous run:" >&2;}
2898 	  { $as_echo "$as_me:${as_lineno-$LINENO}: warning: ignoring whitespace changes in \`$ac_var' since the previous run:" >&5
2899 $as_echo "$as_me: warning: ignoring whitespace changes in \`$ac_var' since the previous run:" >&2;}
2900 	  eval $ac_var=\$ac_old_val
2911     *\'*) ac_arg=$ac_var=`$as_echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;
2912     *) ac_arg=$ac_var=$ac_new_val ;;
18710     for ac_var in incroot usrlibdir libdir; do
18711       eval "ac_im_$ac_var=\`\${MAKE-make} $ac_var 2>/dev/null | sed -n 's/^$ac_var=//p'\`"
22527   for ac_var in `(set) 2>&1 | sed -n 's/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'`; do
22528     eval ac_val=\$$ac_var
22531       case $ac_var in #(
22532       *_cv_*) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: cache variable $ac_var contains a newline" >&5
22533 $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;;
22535       case $ac_var in #(
22537       BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
22538       *) { eval $ac_var=; unset $ac_var;} ;;