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

1650   rm -f conftest.$ac_objext
1669        } && test -s conftest.$ac_objext; then :
1688   rm -f conftest.$ac_objext conftest$ac_exeext
1750 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
1895 rm -f core conftest.err conftest.$ac_objext \
1911   rm -f conftest.$ac_objext
1930        } && test -s conftest.$ac_objext; then :
1986   rm -f conftest.$ac_objext conftest$ac_exeext
2069 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2071 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2111 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2230 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2232 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2286 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2347 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2349 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2409 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2453 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2458 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2460 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2483 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2532   conftest.$ac_objext conftest.beam conftest.$ac_ext
2578 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
4537 ac_objext=$OBJEXT
4562 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
4629 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
4631 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
4633 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
4719 rm -f core conftest.err conftest.$ac_objext
4776     if { echo "$as_me:$LINENO: $CC -c conftest.$ac_ext -o conftest2.$ac_objext" >&5
4777    ($CC -c conftest.$ac_ext -o conftest2.$ac_objext) >&5 2>&5
4781          && test -f conftest2.$ac_objext; then
5540   (eval echo "\"\$as_me:$LINENO: $NM \\\"conftest.$ac_objext\\\"\"" >&5)
5541   (eval "$NM \"conftest.$ac_objext\"" 2>conftest.err > conftest.out)
6467   echo conftest.$ac_objext > conftest.lst
6476 	rm -f conftest.$ac_objext libconftest.a
6489 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
6938     if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$NM conftest.$ac_objext \| "$lt_cv_sys_global_symbol_pipe" \> $nlist\""; } >&5
6939   (eval $NM conftest.$ac_objext \| "$lt_cv_sys_global_symbol_pipe" \> $nlist) 2>&5
7002 	  mv conftest.$ac_objext conftstm.$ac_objext
7005 	  LIBS=conftstm.$ac_objext
7231     case `/usr/bin/file conftest.$ac_objext` in
7252       case `/usr/bin/file conftest.$ac_objext` in
7264       case `/usr/bin/file conftest.$ac_objext` in
7290     case `/usr/bin/file conftest.$ac_objext` in
7298     case `/usr/bin/file conftest.$ac_objext` in
7306     case `/usr/bin/file conftest.$ac_objext` in
7418 rm -f core conftest.err conftest.$ac_objext \
8142 rm -f core conftest.err conftest.$ac_objext \
8417 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
8491   conftest.$ac_objext conftest.beam conftest.$ac_ext
9137 test -z "$ac_objext" && ac_objext=o
9327 ac_outfile=conftest.$ac_objext
9333 ac_outfile=conftest.$ac_objext
9362    ac_outfile=conftest.$ac_objext
9770    ac_outfile=conftest.$ac_objext
9871   { $as_echo "$as_me:${as_lineno-$LINENO}: checking if $compiler supports -c -o file.$ac_objext" >&5
9872 $as_echo_n "checking if $compiler supports -c -o file.$ac_objext... " >&6; }
9883    lt_compiler_flag="-o out/conftest2.$ac_objext"
9897    if (exit $ac_status) && test -s out/conftest2.$ac_objext
9926   { $as_echo "$as_me:${as_lineno-$LINENO}: checking if $compiler supports -c -o file.$ac_objext" >&5
9927 $as_echo_n "checking if $compiler supports -c -o file.$ac_objext... " >&6; }
9938    lt_compiler_flag="-o out/conftest2.$ac_objext"
9952    if (exit $ac_status) && test -s out/conftest2.$ac_objext
10594 rm -f core conftest.err conftest.$ac_objext \
10647 rm -f core conftest.err conftest.$ac_objext \
10983 rm -f core conftest.err conftest.$ac_objext \
11321 	  libobjs=conftest.$ac_objext
12095 rm -f core conftest.err conftest.$ac_objext \
12561 rm -f core conftest.err conftest.$ac_objext \
12622 rm -f core conftest.err conftest.$ac_objext \
12665 rm -f core conftest.err conftest.$ac_objext \
12704 rm -f core conftest.err conftest.$ac_objext \
12743 rm -f core conftest.err conftest.$ac_objext \
13340 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
13407 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
13409 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
13411 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
13781   ac_outfile=conftest.$ac_objext
13787   ac_outfile=conftest.$ac_objext
14157 rm -f core conftest.err conftest.$ac_objext \
14211 rm -f core conftest.err conftest.$ac_objext \
15603    ac_outfile=conftest.$ac_objext
15695     { $as_echo "$as_me:${as_lineno-$LINENO}: checking if $compiler supports -c -o file.$ac_objext" >&5
15696 $as_echo_n "checking if $compiler supports -c -o file.$ac_objext... " >&6; }
15707    lt_compiler_flag="-o out/conftest2.$ac_objext"
15721    if (exit $ac_status) && test -s out/conftest2.$ac_objext
15747     { $as_echo "$as_me:${as_lineno-$LINENO}: checking if $compiler supports -c -o file.$ac_objext" >&5
15748 $as_echo_n "checking if $compiler supports -c -o file.$ac_objext... " >&6; }
15759    lt_compiler_flag="-o out/conftest2.$ac_objext"
15773    if (exit $ac_status) && test -s out/conftest2.$ac_objext
15910 	  libobjs=conftest.$ac_objext
16521 rm -f core conftest.err conftest.$ac_objext \
17254 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17321 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17323 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17325 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17411 rm -f core conftest.err conftest.$ac_objext
17468     if { echo "$as_me:$LINENO: $CC -c conftest.$ac_ext -o conftest2.$ac_objext" >&5
17469    ($CC -c conftest.$ac_ext -o conftest2.$ac_objext) >&5 2>&5
17473          && test -f conftest2.$ac_objext; then
17972 rm -f core conftest.err conftest.$ac_objext
17977 rm -f core conftest.err conftest.$ac_objext
18018 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
18042 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
18087 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
18111 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
18158 rm -f core conftest.err conftest.$ac_objext \
18197 rm -f core conftest.err conftest.$ac_objext \
18236 rm -f core conftest.err conftest.$ac_objext \
18287 rm -f core conftest.err conftest.$ac_objext \
18343 rm -f core conftest.err conftest.$ac_objext \
18393 rm -f core conftest.err conftest.$ac_objext \
18432 rm -f core conftest.err conftest.$ac_objext \
18469     if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$NM conftest.$ac_objext \| $lt_cv_sys_global_symbol_pipe \> $ac_nlist\""; } >&5
18470   (eval $NM conftest.$ac_objext \| $lt_cv_sys_global_symbol_pipe \> $ac_nlist) 2>&5
18540 rm -f core conftest.err conftest.$ac_objext \
18596 rm -f core conftest.err conftest.$ac_objext \
18652 rm -f core conftest.err conftest.$ac_objext \
18832 rm -f core conftest.err conftest.$ac_objext \
18918 rm -f core conftest.err conftest.$ac_objext \
18963 rm -f core conftest.err conftest.$ac_objext \
19008 rm -f core conftest.err conftest.$ac_objext \
19066 rm -f core conftest.err conftest.$ac_objext \
19123 rm -f core conftest.err conftest.$ac_objext \
19176 rm -f core conftest.err conftest.$ac_objext \
19192 ALLOCA=\${LIBOBJDIR}alloca.$ac_objext
19272   conftest.$ac_objext conftest.beam conftest.$ac_ext
19312 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
19362 rm -f core conftest.err conftest.$ac_objext \
19419 rm -f core conftest.err conftest.$ac_objext \
19468 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
19542   conftest.$ac_objext conftest.beam conftest.$ac_ext
19586 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
19920 rm -f core conftest.err conftest.$ac_objext \
20067 rm -f core conftest.err conftest.$ac_objext \
20131 rm -f core conftest.err conftest.$ac_objext \
20233 rm -f core conftest.err conftest.$ac_objext \
20443 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
20535 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
20648 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
20685 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
20801 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
20836 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21167 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21211 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21213 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21254 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21256 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21289   if grep BIGenDianSyS conftest.$ac_objext >/dev/null; then
21292 	    if grep LiTTleEnDian conftest.$ac_objext >/dev/null ; then
21301 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21329   conftest.$ac_objext conftest.beam conftest.$ac_ext
21375 rm -f core conftest.err conftest.$ac_objext \
21382   *" error.$ac_objext "* ) ;;
21383   *) LIBOBJS="$LIBOBJS error.$ac_objext"
21429   conftest.$ac_objext conftest.beam conftest.$ac_ext
21496 rm -f core conftest.err conftest.$ac_objext \
21537   conftest.$ac_objext conftest.beam conftest.$ac_ext
21576 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21673 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21736   conftest.$ac_objext conftest.beam conftest.$ac_ext
21759   *" lstat.$ac_objext "* ) ;;
21760   *) LIBOBJS="$LIBOBJS lstat.$ac_objext"
21792   conftest.$ac_objext conftest.beam conftest.$ac_ext
21800   *" stat.$ac_objext "* ) ;;
21801   *) LIBOBJS="$LIBOBJS stat.$ac_objext"
21859   conftest.$ac_objext conftest.beam conftest.$ac_ext
21867   *" strtod.$ac_objext "* ) ;;
21868   *) LIBOBJS="$LIBOBJS strtod.$ac_objext"
21908 rm -f core conftest.err conftest.$ac_objext \
22137 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
22606   as_fn_append ac_libobjs " \${LIBOBJDIR}$ac_i\$U.$ac_objext"
23331 ac_objext='`$ECHO "$ac_objext" | $SED "$delay_single_quote_subst"`'
24509 objext=$ac_objext