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

1641   rm -f conftest.$ac_objext
1660        } && test -s conftest.$ac_objext; then :
1710 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
1820 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
1835   rm -f conftest.$ac_objext conftest$ac_exeext
1932 rm -f core conftest.err conftest.$ac_objext \
1948   rm -f conftest.$ac_objext
1967        } && test -s conftest.$ac_objext; then :
2023   rm -f conftest.$ac_objext conftest$ac_exeext
2106 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2108 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2148 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2267 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2269 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2323 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2384 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2386 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2446 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2490 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2495 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2497 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2520 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
2569   conftest.$ac_objext conftest.beam conftest.$ac_ext
4277 ac_objext=$OBJEXT
4302 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
4369 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
4371 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
4373 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
4459 rm -f core conftest.err conftest.$ac_objext
4516     if { echo "$as_me:$LINENO: $CC -c conftest.$ac_ext -o conftest2.$ac_objext" >&5
4517    ($CC -c conftest.$ac_ext -o conftest2.$ac_objext) >&5 2>&5
4521          && test -f conftest2.$ac_objext; then
4970 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
5044   conftest.$ac_objext conftest.beam conftest.$ac_ext
5674   (eval echo "\"\$as_me:$LINENO: $NM \\\"conftest.$ac_objext\\\"\"" >&5)
5675   (eval "$NM \"conftest.$ac_objext\"" 2>conftest.err > conftest.out)
6600   echo conftest.$ac_objext > conftest.lst
6609 	rm -f conftest.$ac_objext libconftest.a
6622 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
7071     if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$NM conftest.$ac_objext \| "$lt_cv_sys_global_symbol_pipe" \> $nlist\""; } >&5
7072   (eval $NM conftest.$ac_objext \| "$lt_cv_sys_global_symbol_pipe" \> $nlist) 2>&5
7135 	  mv conftest.$ac_objext conftstm.$ac_objext
7138 	  LIBS=conftstm.$ac_objext
7364     case `/usr/bin/file conftest.$ac_objext` in
7385       case `/usr/bin/file conftest.$ac_objext` in
7397       case `/usr/bin/file conftest.$ac_objext` in
7423     case `/usr/bin/file conftest.$ac_objext` in
7431     case `/usr/bin/file conftest.$ac_objext` in
7439     case `/usr/bin/file conftest.$ac_objext` in
7551 rm -f core conftest.err conftest.$ac_objext \
8275 rm -f core conftest.err conftest.$ac_objext \
9003 test -z "$ac_objext" && ac_objext=o
9193 ac_outfile=conftest.$ac_objext
9199 ac_outfile=conftest.$ac_objext
9228    ac_outfile=conftest.$ac_objext
9636    ac_outfile=conftest.$ac_objext
9737   { $as_echo "$as_me:${as_lineno-$LINENO}: checking if $compiler supports -c -o file.$ac_objext" >&5
9738 $as_echo_n "checking if $compiler supports -c -o file.$ac_objext... " >&6; }
9749    lt_compiler_flag="-o out/conftest2.$ac_objext"
9763    if (exit $ac_status) && test -s out/conftest2.$ac_objext
9792   { $as_echo "$as_me:${as_lineno-$LINENO}: checking if $compiler supports -c -o file.$ac_objext" >&5
9793 $as_echo_n "checking if $compiler supports -c -o file.$ac_objext... " >&6; }
9804    lt_compiler_flag="-o out/conftest2.$ac_objext"
9818    if (exit $ac_status) && test -s out/conftest2.$ac_objext
10460 rm -f core conftest.err conftest.$ac_objext \
10513 rm -f core conftest.err conftest.$ac_objext \
10849 rm -f core conftest.err conftest.$ac_objext \
11187 	  libobjs=conftest.$ac_objext
11961 rm -f core conftest.err conftest.$ac_objext \
12427 rm -f core conftest.err conftest.$ac_objext \
12488 rm -f core conftest.err conftest.$ac_objext \
12531 rm -f core conftest.err conftest.$ac_objext \
12570 rm -f core conftest.err conftest.$ac_objext \
12609 rm -f core conftest.err conftest.$ac_objext \
13206 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
13273 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
13275 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
13277 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
13647   ac_outfile=conftest.$ac_objext
13653   ac_outfile=conftest.$ac_objext
14023 rm -f core conftest.err conftest.$ac_objext \
14077 rm -f core conftest.err conftest.$ac_objext \
15469    ac_outfile=conftest.$ac_objext
15561     { $as_echo "$as_me:${as_lineno-$LINENO}: checking if $compiler supports -c -o file.$ac_objext" >&5
15562 $as_echo_n "checking if $compiler supports -c -o file.$ac_objext... " >&6; }
15573    lt_compiler_flag="-o out/conftest2.$ac_objext"
15587    if (exit $ac_status) && test -s out/conftest2.$ac_objext
15613     { $as_echo "$as_me:${as_lineno-$LINENO}: checking if $compiler supports -c -o file.$ac_objext" >&5
15614 $as_echo_n "checking if $compiler supports -c -o file.$ac_objext... " >&6; }
15625    lt_compiler_flag="-o out/conftest2.$ac_objext"
15639    if (exit $ac_status) && test -s out/conftest2.$ac_objext
15776 	  libobjs=conftest.$ac_objext
16387 rm -f core conftest.err conftest.$ac_objext \
17120 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17187 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17189 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17191 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17277 rm -f core conftest.err conftest.$ac_objext
17334     if { echo "$as_me:$LINENO: $CC -c conftest.$ac_ext -o conftest2.$ac_objext" >&5
17335    ($CC -c conftest.$ac_ext -o conftest2.$ac_objext) >&5 2>&5
17339          && test -f conftest2.$ac_objext; then
17838 rm -f core conftest.err conftest.$ac_objext
17843 rm -f core conftest.err conftest.$ac_objext
17884 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17908 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17953 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
17977 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
18024 rm -f core conftest.err conftest.$ac_objext \
18063 rm -f core conftest.err conftest.$ac_objext \
18102 rm -f core conftest.err conftest.$ac_objext \
18153 rm -f core conftest.err conftest.$ac_objext \
18209 rm -f core conftest.err conftest.$ac_objext \
18252     if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$NM conftest.$ac_objext \| $lt_cv_sys_global_symbol_pipe \> $ac_nlist\""; } >&5
18253   (eval $NM conftest.$ac_objext \| $lt_cv_sys_global_symbol_pipe \> $ac_nlist) 2>&5
18325 rm -f core conftest.err conftest.$ac_objext \
18378 rm -f core conftest.err conftest.$ac_objext \
18394 ALLOCA=\${LIBOBJDIR}alloca.$ac_objext
18474   conftest.$ac_objext conftest.beam conftest.$ac_ext
18514 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
18564 rm -f core conftest.err conftest.$ac_objext \
18621 rm -f core conftest.err conftest.$ac_objext \
18670 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
18744   conftest.$ac_objext conftest.beam conftest.$ac_ext
18788 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
19122 rm -f core conftest.err conftest.$ac_objext \
19203 rm -f core conftest.err conftest.$ac_objext \
19262 rm -f core conftest.err conftest.$ac_objext \
19301 rm -f core conftest.err conftest.$ac_objext \
19464 rm -f core conftest.err conftest.$ac_objext \
19547 rm -f core conftest.err conftest.$ac_objext \
19603 rm -f core conftest.err conftest.$ac_objext \
19659 rm -f core conftest.err conftest.$ac_objext \
19839 rm -f core conftest.err conftest.$ac_objext \
19925 rm -f core conftest.err conftest.$ac_objext \
19970 rm -f core conftest.err conftest.$ac_objext \
20015 rm -f core conftest.err conftest.$ac_objext \
20073 rm -f core conftest.err conftest.$ac_objext \
20171 rm -f core conftest.err conftest.$ac_objext \
20273 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
20365 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
20478 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
20515 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
20631 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
20666 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21063 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21107 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21109 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21150 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21152 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21185   if grep BIGenDianSyS conftest.$ac_objext >/dev/null; then
21188 	    if grep LiTTleEnDian conftest.$ac_objext >/dev/null ; then
21197 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21225   conftest.$ac_objext conftest.beam conftest.$ac_ext
21271 rm -f core conftest.err conftest.$ac_objext \
21278   *" error.$ac_objext "* ) ;;
21279   *) LIBOBJS="$LIBOBJS error.$ac_objext"
21325   conftest.$ac_objext conftest.beam conftest.$ac_ext
21392 rm -f core conftest.err conftest.$ac_objext \
21433   conftest.$ac_objext conftest.beam conftest.$ac_ext
21472 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21569 rm -f core conftest.err conftest.$ac_objext conftest.$ac_ext
21632   conftest.$ac_objext conftest.beam conftest.$ac_ext
21655   *" lstat.$ac_objext "* ) ;;
21656   *) LIBOBJS="$LIBOBJS lstat.$ac_objext"
21688   conftest.$ac_objext conftest.beam conftest.$ac_ext
21696   *" stat.$ac_objext "* ) ;;
21697   *) LIBOBJS="$LIBOBJS stat.$ac_objext"
21755   conftest.$ac_objext conftest.beam conftest.$ac_ext
21763   *" strtod.$ac_objext "* ) ;;
21764   *) LIBOBJS="$LIBOBJS strtod.$ac_objext"
21804 rm -f core conftest.err conftest.$ac_objext \
22524   as_fn_append ac_libobjs " \${LIBOBJDIR}$ac_i\$U.$ac_objext"
23249 ac_objext='`$ECHO "$ac_objext" | $SED "$delay_single_quote_subst"`'
24428 objext=$ac_objext