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

1752 eval ac_res=\$$3
1753 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
1754 $as_echo "$ac_res" >&6; }
1898 eval ac_res=\$$3
1899 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
1900 $as_echo "$ac_res" >&6; }
2073 eval ac_res=\$$3
2074 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2075 $as_echo "$ac_res" >&6; }
2094 eval ac_res=\$$3
2095 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2096 $as_echo "$ac_res" >&6; }
2163 eval ac_res=\$$3
2164 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2165 $as_echo "$ac_res" >&6; }
2240 eval ac_res=\$$3
2241 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2242 $as_echo "$ac_res" >&6; }
2294 eval ac_res=\$$3
2295 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2296 $as_echo "$ac_res" >&6; }
2351 eval ac_res=\$$4
2352 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2353 $as_echo "$ac_res" >&6; }
2580 eval ac_res=\$$3
2581 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2582 $as_echo "$ac_res" >&6; }
18279     ac_res="none required"
18281     ac_res=-l$ac_lib
18285   ac_cv_search_dlopen=$ac_res
18303 ac_res=$ac_cv_search_dlopen
18304 if test "$ac_res" != no; then :
18305   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18335     ac_res="none required"
18337     ac_res=-l$ac_lib
18341   ac_cv_search_floor=$ac_res
18359 ac_res=$ac_cv_search_floor
18360 if test "$ac_res" != no; then :
18361   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18532     ac_res="none required"
18534     ac_res=-l$ac_lib
18538   ac_cv_search_gethostbyname=$ac_res
18556 ac_res=$ac_cv_search_gethostbyname
18557 if test "$ac_res" != no; then :
18558   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18588     ac_res="none required"
18590     ac_res=-l$ac_lib
18594   ac_cv_search_getsockopt=$ac_res
18612 ac_res=$ac_cv_search_getsockopt
18613 if test "$ac_res" != no; then :
18614   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18644     ac_res="none required"
18646     ac_res=-l$ac_lib
18650   ac_cv_search_sem_wait=$ac_res
18668 ac_res=$ac_cv_search_sem_wait
18669 if test "$ac_res" != no; then :
18670   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
19314 eval ac_res=\$$as_ac_Header
19315 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
19316 $as_echo "$ac_res" >&6; }
19354     ac_res="none required"
19356     ac_res=-l$ac_lib
19360   ac_cv_search_opendir=$ac_res
19378 ac_res=$ac_cv_search_opendir
19379 if test "$ac_res" != no; then :
19380   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
19411     ac_res="none required"
19413     ac_res=-l$ac_lib
19417   ac_cv_search_opendir=$ac_res
19435 ac_res=$ac_cv_search_opendir
19436 if test "$ac_res" != no; then :
19437   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
20225     ac_res="none required"
20227     ac_res=-l$ac_lib
20231   ac_cv_search_pthread_create=$ac_res
20249 ac_res=$ac_cv_search_pthread_create
20250 if test "$ac_res" != no; then :
20251   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"