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

1688   rm -f conftest.$ac_objext conftest$ac_exeext
1707        } && test -s conftest$ac_exeext && {
1709 	 test -x conftest$ac_exeext
1813   test $ac_status = 0; } && { ac_try='./conftest$ac_exeext'
1896     conftest$ac_exeext conftest.$ac_ext
1986   rm -f conftest.$ac_objext conftest$ac_exeext
2005        } && test -s conftest$ac_exeext && {
2007 	 test -x conftest$ac_exeext
2531 rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
2934 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
3963 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4385 ac_exeext=$ac_cv_exeext
4427 ac_exeext=$EXEEXT
4746 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4752 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
4804 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
5289     if test -f "$ac_dir/$ac_prog" || test -f "$ac_dir/$ac_prog$ac_exeext"; then
5365       if test -f "$tmp_nm" || test -f "$tmp_nm$ac_exeext"; then
7011   test $ac_status = 0; } && test -s conftest$ac_exeext; then
7399 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7419     conftest$ac_exeext conftest.$ac_ext
7423 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
8143     conftest$ac_exeext conftest.$ac_ext
8257 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
8388 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
8490 rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
9290 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
9837    if (eval $ac_link 2>conftest.err) && test -s conftest$ac_exeext; then
10588   lt_cv_aix_libpath_=`dump -H conftest$ac_exeext 2>/dev/null | $SED -n -e "$lt_aix_libpath_sed"`
10591     lt_cv_aix_libpath_=`dump -HX64 conftest$ac_exeext 2>/dev/null | $SED -n -e "$lt_aix_libpath_sed"`
10595     conftest$ac_exeext conftest.$ac_ext
10641   lt_cv_aix_libpath_=`dump -H conftest$ac_exeext 2>/dev/null | $SED -n -e "$lt_aix_libpath_sed"`
10644     lt_cv_aix_libpath_=`dump -HX64 conftest$ac_exeext 2>/dev/null | $SED -n -e "$lt_aix_libpath_sed"`
10648     conftest$ac_exeext conftest.$ac_ext
10907    if (eval $ac_link 2>conftest.err) && test -s conftest$ac_exeext; then
10984     conftest$ac_exeext conftest.$ac_ext
12091   if  ($OBJDUMP -p conftest$ac_exeext) 2>/dev/null | grep "RUNPATH.*$libdir" >/dev/null; then :
12096     conftest$ac_exeext conftest.$ac_ext
12562     conftest$ac_exeext conftest.$ac_ext
12623     conftest$ac_exeext conftest.$ac_ext
12666     conftest$ac_exeext conftest.$ac_ext
12705     conftest$ac_exeext conftest.$ac_ext
12744     conftest$ac_exeext conftest.$ac_ext
12872   test $ac_status = 0; } && test -s "conftest$ac_exeext" 2>/dev/null; then
12978   test $ac_status = 0; } && test -s "conftest$ac_exeext" 2>/dev/null; then
13121 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13183 ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13434 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13581 ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13708 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13718 ac_link='$CXX -o conftest$ac_exeext $CXXFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
13889     if test -f "$ac_dir/$ac_prog" || test -f "$ac_dir/$ac_prog$ac_exeext"; then
14151   lt_cv_aix_libpath__CXX=`dump -H conftest$ac_exeext 2>/dev/null | $SED -n -e "$lt_aix_libpath_sed"`
14154     lt_cv_aix_libpath__CXX=`dump -HX64 conftest$ac_exeext 2>/dev/null | $SED -n -e "$lt_aix_libpath_sed"`
14158     conftest$ac_exeext conftest.$ac_ext
14205   lt_cv_aix_libpath__CXX=`dump -H conftest$ac_exeext 2>/dev/null | $SED -n -e "$lt_aix_libpath_sed"`
14208     lt_cv_aix_libpath__CXX=`dump -HX64 conftest$ac_exeext 2>/dev/null | $SED -n -e "$lt_aix_libpath_sed"`
14212     conftest$ac_exeext conftest.$ac_ext
15664    if (eval $ac_link 2>conftest.err) && test -s conftest$ac_exeext; then
16517   if  ($OBJDUMP -p conftest$ac_exeext) 2>/dev/null | grep "RUNPATH.*$libdir" >/dev/null; then :
16522     conftest$ac_exeext conftest.$ac_ext
16891 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
16905 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17438 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17444 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17496 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17662 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
17793 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
18159     conftest$ac_exeext conftest.$ac_ext
18198     conftest$ac_exeext conftest.$ac_ext
18237     conftest$ac_exeext conftest.$ac_ext
18288     conftest$ac_exeext
18344     conftest$ac_exeext
18394     conftest$ac_exeext conftest.$ac_ext
18433     conftest$ac_exeext conftest.$ac_ext
18541     conftest$ac_exeext
18597     conftest$ac_exeext
18653     conftest$ac_exeext
18833     conftest$ac_exeext conftest.$ac_ext
18919     conftest$ac_exeext conftest.$ac_ext
18964     conftest$ac_exeext conftest.$ac_ext
19009     conftest$ac_exeext conftest.$ac_ext
19067     conftest$ac_exeext conftest.$ac_ext
19124     conftest$ac_exeext conftest.$ac_ext
19177     conftest$ac_exeext conftest.$ac_ext
19271 rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
19363     conftest$ac_exeext
19420     conftest$ac_exeext
19541 rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
19921     conftest$ac_exeext conftest.$ac_ext
20068     conftest$ac_exeext conftest.$ac_ext
20132     conftest$ac_exeext conftest.$ac_ext
20234     conftest$ac_exeext
21328 rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
21376     conftest$ac_exeext conftest.$ac_ext
21428 rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
21497     conftest$ac_exeext conftest.$ac_ext
21536 rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
21735 rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
21791 rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
21858 rm -f core *.core core.conftest.* gmon.out bb.out conftest$ac_exeext \
21909     conftest$ac_exeext conftest.$ac_ext