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

1290 for ac_var in	exec_prefix prefix bindir sbindir libexecdir datarootdir \
1295   eval ac_val=\$$ac_var
1300       eval $ac_var=\$ac_val;;
1305     NONE | '' ) case $ac_var in *prefix ) continue;; esac;;
1307   as_fn_error $? "expected an absolute directory name for --$ac_var: $ac_val"
1392 for ac_var in $ac_precious_vars; do
1393   eval ac_env_${ac_var}_set=\${${ac_var}+set}
1394   eval ac_env_${ac_var}_value=\$${ac_var}
1395   eval ac_cv_env_${ac_var}_set=\${${ac_var}+set}
1396   eval ac_cv_env_${ac_var}_value=\$${ac_var}
2698   for ac_var in `(set) 2>&1 | sed -n '\''s/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'\''`; do
2699     eval ac_val=\$$ac_var
2702       case $ac_var in #(
2703       *_cv_*) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: cache variable $ac_var contains a newline" >&5
2704 $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;;
2706       case $ac_var in #(
2708       BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
2709       *) { eval $ac_var=; unset $ac_var;} ;;
2732     for ac_var in $ac_subst_vars
2734       eval ac_val=\$$ac_var
2738       $as_echo "$ac_var='\''$ac_val'\''"
2747       for ac_var in $ac_subst_files
2749 	eval ac_val=\$$ac_var
2753 	$as_echo "$ac_var='\''$ac_val'\''"
2864 for ac_var in $ac_precious_vars; do
2865   eval ac_old_set=\$ac_cv_env_${ac_var}_set
2866   eval ac_new_set=\$ac_env_${ac_var}_set
2867   eval ac_old_val=\$ac_cv_env_${ac_var}_value
2868   eval ac_new_val=\$ac_env_${ac_var}_value
2871       { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&5
2872 $as_echo "$as_me: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&2;}
2875       { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was not set in the previous run" >&5
2876 $as_echo "$as_me: error: \`$ac_var' was not set in the previous run" >&2;}
2885 	  { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' has changed since the previous run:" >&5
2886 $as_echo "$as_me: error: \`$ac_var' has changed since the previous run:" >&2;}
2889 	  { $as_echo "$as_me:${as_lineno-$LINENO}: warning: ignoring whitespace changes in \`$ac_var' since the previous run:" >&5
2890 $as_echo "$as_me: warning: ignoring whitespace changes in \`$ac_var' since the previous run:" >&2;}
2891 	  eval $ac_var=\$ac_old_val
2902     *\'*) ac_arg=$ac_var=`$as_echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;
2903     *) ac_arg=$ac_var=$ac_new_val ;;
19717     for ac_var in incroot usrlibdir libdir; do
19718       eval "ac_im_$ac_var=\`\${MAKE-make} $ac_var 2>/dev/null | sed -n 's/^$ac_var=//p'\`"
22445   for ac_var in `(set) 2>&1 | sed -n 's/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'`; do
22446     eval ac_val=\$$ac_var
22449       case $ac_var in #(
22450       *_cv_*) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: cache variable $ac_var contains a newline" >&5
22451 $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;;
22453       case $ac_var in #(
22455       BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
22456       *) { eval $ac_var=; unset $ac_var;} ;;