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

1336 for ac_var in	exec_prefix prefix bindir sbindir libexecdir datarootdir \
1341   eval ac_val=\$$ac_var
1346       eval $ac_var=\$ac_val;;
1351     NONE | '' ) case $ac_var in *prefix ) continue;; esac;;
1353   as_fn_error $? "expected an absolute directory name for --$ac_var: $ac_val"
1438 for ac_var in $ac_precious_vars; do
1439   eval ac_env_${ac_var}_set=\${${ac_var}+set}
1440   eval ac_env_${ac_var}_value=\$${ac_var}
1441   eval ac_cv_env_${ac_var}_set=\${${ac_var}+set}
1442   eval ac_cv_env_${ac_var}_value=\$${ac_var}
2498   for ac_var in `(set) 2>&1 | sed -n '\''s/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'\''`; do
2499     eval ac_val=\$$ac_var
2502       case $ac_var in #(
2503       *_cv_*) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: cache variable $ac_var contains a newline" >&5
2504 $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;;
2506       case $ac_var in #(
2508       BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
2509       *) { eval $ac_var=; unset $ac_var;} ;;
2532     for ac_var in $ac_subst_vars
2534       eval ac_val=\$$ac_var
2538       $as_echo "$ac_var='\''$ac_val'\''"
2547       for ac_var in $ac_subst_files
2549 	eval ac_val=\$$ac_var
2553 	$as_echo "$ac_var='\''$ac_val'\''"
2664 for ac_var in $ac_precious_vars; do
2665   eval ac_old_set=\$ac_cv_env_${ac_var}_set
2666   eval ac_new_set=\$ac_env_${ac_var}_set
2667   eval ac_old_val=\$ac_cv_env_${ac_var}_value
2668   eval ac_new_val=\$ac_env_${ac_var}_value
2671       { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&5
2672 $as_echo "$as_me: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&2;}
2675       { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was not set in the previous run" >&5
2676 $as_echo "$as_me: error: \`$ac_var' was not set in the previous run" >&2;}
2685 	  { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' has changed since the previous run:" >&5
2686 $as_echo "$as_me: error: \`$ac_var' has changed since the previous run:" >&2;}
2689 	  { $as_echo "$as_me:${as_lineno-$LINENO}: warning: ignoring whitespace changes in \`$ac_var' since the previous run:" >&5
2690 $as_echo "$as_me: warning: ignoring whitespace changes in \`$ac_var' since the previous run:" >&2;}
2691 	  eval $ac_var=\$ac_old_val
2702     *\'*) ac_arg=$ac_var=`$as_echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;
2703     *) ac_arg=$ac_var=$ac_new_val ;;
19394   for ac_var in `(set) 2>&1 | sed -n 's/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'`; do
19395     eval ac_val=\$$ac_var
19398       case $ac_var in #(
19399       *_cv_*) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: cache variable $ac_var contains a newline" >&5
19400 $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;;
19402       case $ac_var in #(
19404       BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
19405       *) { eval $ac_var=; unset $ac_var;} ;;