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

1712 eval ac_res=\$$3
1713 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
1714 $as_echo "$ac_res" >&6; }
1822 eval ac_res=\$$3
1823 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
1824 $as_echo "$ac_res" >&6; }
1935 eval ac_res=\$$3
1936 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
1937 $as_echo "$ac_res" >&6; }
2110 eval ac_res=\$$3
2111 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2112 $as_echo "$ac_res" >&6; }
2131 eval ac_res=\$$3
2132 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2133 $as_echo "$ac_res" >&6; }
2200 eval ac_res=\$$3
2201 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2202 $as_echo "$ac_res" >&6; }
2277 eval ac_res=\$$3
2278 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2279 $as_echo "$ac_res" >&6; }
2331 eval ac_res=\$$3
2332 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2333 $as_echo "$ac_res" >&6; }
2388 eval ac_res=\$$4
2389 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
2390 $as_echo "$ac_res" >&6; }
18145     ac_res="none required"
18147     ac_res=-l$ac_lib
18151   ac_cv_search_dlopen=$ac_res
18169 ac_res=$ac_cv_search_dlopen
18170 if test "$ac_res" != no; then :
18171   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18201     ac_res="none required"
18203     ac_res=-l$ac_lib
18207   ac_cv_search_floor=$ac_res
18225 ac_res=$ac_cv_search_floor
18226 if test "$ac_res" != no; then :
18227   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18516 eval ac_res=\$$as_ac_Header
18517 	       { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ac_res" >&5
18518 $as_echo "$ac_res" >&6; }
18556     ac_res="none required"
18558     ac_res=-l$ac_lib
18562   ac_cv_search_opendir=$ac_res
18580 ac_res=$ac_cv_search_opendir
18581 if test "$ac_res" != no; then :
18582   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18613     ac_res="none required"
18615     ac_res=-l$ac_lib
18619   ac_cv_search_opendir=$ac_res
18637 ac_res=$ac_cv_search_opendir
18638 if test "$ac_res" != no; then :
18639   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
19456     ac_res="none required"
19458     ac_res=-l$ac_lib
19462   ac_cv_search_pthread_create=$ac_res
19480 ac_res=$ac_cv_search_pthread_create
19481 if test "$ac_res" != no; then :
19482   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
19539     ac_res="none required"
19541     ac_res=-l$ac_lib
19545   ac_cv_search_gethostbyname=$ac_res
19563 ac_res=$ac_cv_search_gethostbyname
19564 if test "$ac_res" != no; then :
19565   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
19595     ac_res="none required"
19597     ac_res=-l$ac_lib
19601   ac_cv_search_getsockopt=$ac_res
19619 ac_res=$ac_cv_search_getsockopt
19620 if test "$ac_res" != no; then :
19621   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
19651     ac_res="none required"
19653     ac_res=-l$ac_lib
19657   ac_cv_search_sem_wait=$ac_res
19675 ac_res=$ac_cv_search_sem_wait
19676 if test "$ac_res" != no; then :
19677   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"