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

1651   if { { ac_try="$ac_compile"
1652 case "(($ac_try" in
1653   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1654   *) ac_try_echo=$ac_try;;
1689   if { { ac_try="$ac_link"
1690 case "(($ac_try" in
1691   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1692   *) ac_try_echo=$ac_try;;
1765   if { { ac_try="$ac_cpp conftest.$ac_ext"
1766 case "(($ac_try" in
1767   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1768   *) ac_try_echo=$ac_try;;
1803   if { { ac_try="$ac_link"
1804 case "(($ac_try" in
1805   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1806   *) ac_try_echo=$ac_try;;
1813   test $ac_status = 0; } && { ac_try='./conftest$ac_exeext'
1814   { { case "(($ac_try" in
1815   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1816   *) ac_try_echo=$ac_try;;
1820   (eval "$ac_try") 2>&5
1912   if { { ac_try="$ac_compile"
1913 case "(($ac_try" in
1914   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1915   *) ac_try_echo=$ac_try;;
1949   if { { ac_try="$ac_cpp conftest.$ac_ext"
1950 case "(($ac_try" in
1951   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1952   *) ac_try_echo=$ac_try;;
1987   if { { ac_try="$ac_link"
1988 case "(($ac_try" in
1989   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
1990   *) ac_try_echo=$ac_try;;
4268   { { ac_try="$ac_compiler $ac_option >&5"
4269 case "(($ac_try" in
4270   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
4271   *) ac_try_echo=$ac_try;;
4321 if { { ac_try="$ac_link_default"
4322 case "(($ac_try" in
4323   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
4324   *) ac_try_echo=$ac_try;;
4391 if { { ac_try="$ac_link"
4392 case "(($ac_try" in
4393   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
4394   *) ac_try_echo=$ac_try;;
4447   { { ac_try="$ac_link"
4448 case "(($ac_try" in
4449   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
4450   *) ac_try_echo=$ac_try;;
4458   if { ac_try='./conftest$ac_cv_exeext'
4459   { { case "(($ac_try" in
4460   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
4461   *) ac_try_echo=$ac_try;;
4465   (eval "$ac_try") 2>&5
4504 if { { ac_try="$ac_compile"
4505 case "(($ac_try" in
4506   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
4507   *) ac_try_echo=$ac_try;;
13296   { { ac_try="$ac_compiler $ac_option >&5"
13297 case "(($ac_try" in
13298   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
13299   *) ac_try_echo=$ac_try;;
17210   { { ac_try="$ac_compiler $ac_option >&5"
17211 case "(($ac_try" in
17212   *\"* | *\`* | *\\*) ac_try_echo=\$ac_try;;
17213   *) ac_try_echo=$ac_try;;