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

3924 for ac_file in $ac_files
3926   case $ac_file in
3928     * ) ac_rmfiles="$ac_rmfiles $ac_file";;
3949 for ac_file in $ac_files ''
3951   test -f "$ac_file" || continue
3952   case $ac_file in
3962 	   ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
3977   ac_file=''
3979 if test -z "$ac_file"; then :
3995 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_file" >&5
3996 $as_echo "$ac_file" >&6; }
4018 for ac_file in conftest.exe conftest conftest.*; do
4019   test -f "$ac_file" || continue
4020   case $ac_file in
4022     *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
4127   for ac_file in conftest.o conftest.obj conftest.*; do
4128   test -f "$ac_file" || continue;
4129   case $ac_file in
4131     *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`
21022   ac_file=$1
21053     if test x"$ac_file" != x-; then
21054       configure_input="$ac_file.  $configure_input"
21055       { $as_echo "$as_me:${as_lineno-$LINENO}: creating $ac_file" >&5
21056 $as_echo "$as_me: creating $ac_file" >&6;}
21068       || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;;
21073   ac_dir=`$as_dirname -- "$ac_file" ||
21074 $as_expr X"$ac_file" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
21075 	 X"$ac_file" : 'X\(//\)[^/]' \| \
21076 	 X"$ac_file" : 'X\(//\)$' \| \
21077 	 X"$ac_file" : 'X\(/\)' \| . 2>/dev/null ||
21078 $as_echo X"$ac_file" |
21205   >$ac_tmp/out || as_fn_error $? "could not create $ac_file" "$LINENO" 5
21211   { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $ac_file contains a reference to the variable \`datarootdir'
21213 $as_echo "$as_me: WARNING: $ac_file contains a reference to the variable \`datarootdir'
21217   case $ac_file in
21219   *) rm -f "$ac_file" && mv "$ac_tmp/out" "$ac_file";;
21221   || as_fn_error $? "could not create $ac_file" "$LINENO" 5
21227   if test x"$ac_file" != x-; then
21232       || as_fn_error $? "could not create $ac_file" "$LINENO" 5
21233     if diff "$ac_file" "$ac_tmp/config.h" >/dev/null 2>&1; then
21234       { $as_echo "$as_me:${as_lineno-$LINENO}: $ac_file is unchanged" >&5
21235 $as_echo "$as_me: $ac_file is unchanged" >&6;}
21237       rm -f "$ac_file"
21238       mv "$ac_tmp/config.h" "$ac_file" \
21239 	|| as_fn_error $? "could not create $ac_file" "$LINENO" 5
21246 # Compute "$ac_file"'s index in $config_headers.
21247 _am_arg="$ac_file"
21286   if test "$ac_source" = "$ac_file" && test "$srcdir" = '.'; then
21290     if test "$ac_source" = "$ac_file" || test ! -r "$ac_source"; then
21294     { $as_echo "$as_me:${as_lineno-$LINENO}: linking $ac_source to $ac_file" >&5
21295 $as_echo "$as_me: linking $ac_source to $ac_file" >&6;}
21300     rm -f "$ac_file"
21307     ln -s "$ac_rel_source" "$ac_file" 2>/dev/null ||
21308       ln "$ac_source" "$ac_file" 2>/dev/null ||
21309       cp -p "$ac_source" "$ac_file" ||
21310       as_fn_error $? "cannot link or copy $ac_source to $ac_file" "$LINENO" 5
21313   :C)  { $as_echo "$as_me:${as_lineno-$LINENO}: executing $ac_file commands" >&5
21314 $as_echo "$as_me: executing $ac_file commands" >&6;}
21319   case $ac_file$ac_mode in