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

4312 for ac_file in $ac_files
4314   case $ac_file in
4316     * ) ac_rmfiles="$ac_rmfiles $ac_file";;
4337 for ac_file in $ac_files ''
4339   test -f "$ac_file" || continue
4340   case $ac_file in
4350 	   ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
4365   ac_file=''
4367 if test -z "$ac_file"; then :
4383 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_file" >&5
4384 $as_echo "$ac_file" >&6; }
4406 for ac_file in conftest.exe conftest conftest.*; do
4407   test -f "$ac_file" || continue
4408   case $ac_file in
4410     *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
4515   for ac_file in conftest.o conftest.obj conftest.*; do
4516   test -f "$ac_file" || continue;
4517   case $ac_file in
4519     *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`
24026   ac_file=$1
24057     if test x"$ac_file" != x-; then
24058       configure_input="$ac_file.  $configure_input"
24059       { $as_echo "$as_me:${as_lineno-$LINENO}: creating $ac_file" >&5
24060 $as_echo "$as_me: creating $ac_file" >&6;}
24072       || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;;
24077   ac_dir=`$as_dirname -- "$ac_file" ||
24078 $as_expr X"$ac_file" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
24079 	 X"$ac_file" : 'X\(//\)[^/]' \| \
24080 	 X"$ac_file" : 'X\(//\)$' \| \
24081 	 X"$ac_file" : 'X\(/\)' \| . 2>/dev/null ||
24082 $as_echo X"$ac_file" |
24209   >$ac_tmp/out || as_fn_error $? "could not create $ac_file" "$LINENO" 5
24215   { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $ac_file contains a reference to the variable \`datarootdir'
24217 $as_echo "$as_me: WARNING: $ac_file contains a reference to the variable \`datarootdir'
24221   case $ac_file in
24223   *) rm -f "$ac_file" && mv "$ac_tmp/out" "$ac_file";;
24225   || as_fn_error $? "could not create $ac_file" "$LINENO" 5
24231   if test x"$ac_file" != x-; then
24236       || as_fn_error $? "could not create $ac_file" "$LINENO" 5
24237     if diff "$ac_file" "$ac_tmp/config.h" >/dev/null 2>&1; then
24238       { $as_echo "$as_me:${as_lineno-$LINENO}: $ac_file is unchanged" >&5
24239 $as_echo "$as_me: $ac_file is unchanged" >&6;}
24241       rm -f "$ac_file"
24242       mv "$ac_tmp/config.h" "$ac_file" \
24243 	|| as_fn_error $? "could not create $ac_file" "$LINENO" 5
24250 # Compute "$ac_file"'s index in $config_headers.
24251 _am_arg="$ac_file"
24286   :C)  { $as_echo "$as_me:${as_lineno-$LINENO}: executing $ac_file commands" >&5
24287 $as_echo "$as_me: executing $ac_file commands" >&6;}
24292   case $ac_file$ac_mode in