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

1651   if { { ac_try="$ac_compile"
1658   (eval "$ac_compile") 2>conftest.err
1912   if { { ac_try="$ac_compile"
1919   (eval "$ac_compile") 2>conftest.err
2933 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
3962 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4265 set X $ac_compile
4504 if { { ac_try="$ac_compile"
4511   (eval "$ac_compile") 2>&5
4745 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4751 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
4803 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
5537   (eval echo "\"\$as_me:$LINENO: $ac_compile\"" >&5)
5538   (eval "$ac_compile" 2>conftest.err)
6931   if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
6932   (eval $ac_compile) 2>&5
7223   # Find out what ABI is being produced by ac_compile, and set mode
7226   if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
7227   (eval $ac_compile) 2>&5
7243   # Find out what ABI is being produced by ac_compile, and set linker
7246   if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
7247   (eval $ac_compile) 2>&5
7281   # Find out what ABI is being produced by ac_compile, and set linker
7284   if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
7285   (eval $ac_compile) 2>&5
7318   # Find out what ABI is being produced by ac_compile, and set linker
7325   if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
7326   (eval $ac_compile) 2>&5
7398 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
7422 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
7435   # Find out what ABI is being produced by ac_compile, and set linker
7438   if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
7439   (eval $ac_compile) 2>&5
8256 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
8387 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
9289 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
9329 eval "$ac_compile" 2>&1 >/dev/null | $SED '/^$/d; /^ *+/d' >conftest.err
9367    # Note that $ac_compile itself does not contain backslashes and begins
9370    lt_compile=`echo "$ac_compile" | $SED \
9775    # Note that $ac_compile itself does not contain backslashes and begins
9778    lt_compile=`echo "$ac_compile" | $SED \
9886    # Note that $ac_compile itself does not contain backslashes and begins
9888    lt_compile=`echo "$ac_compile" | $SED \
9941    # Note that $ac_compile itself does not contain backslashes and begins
9943    lt_compile=`echo "$ac_compile" | $SED \
11314 	if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
11315   (eval $ac_compile) 2>&5
13120 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13182 ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13293 set X $ac_compile
13433 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13580 ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13707 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13717 ac_compile='$CXX -c $CXXFLAGS $CPPFLAGS conftest.$ac_ext >&5'
13783 eval "$ac_compile" 2>&1 >/dev/null | $SED '/^$/d; /^ *+/d' >conftest.err
15098 if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
15099   (eval $ac_compile) 2>&5
15608    # Note that $ac_compile itself does not contain backslashes and begins
15611    lt_compile=`echo "$ac_compile" | $SED \
15710    # Note that $ac_compile itself does not contain backslashes and begins
15712    lt_compile=`echo "$ac_compile" | $SED \
15762    # Note that $ac_compile itself does not contain backslashes and begins
15764    lt_compile=`echo "$ac_compile" | $SED \
15903 	if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
15904   (eval $ac_compile) 2>&5
16890 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
16904 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17207 set X $ac_compile
17437 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17443 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17495 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17661 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
17792 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
18462   if { { eval echo "\"\$as_me\":${as_lineno-$LINENO}: \"$ac_compile\""; } >&5
18463   (eval $ac_compile) 2>&5