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

779 LIBS
846 LIBS
1544   LIBS        libraries to pass to the linker, e.g. -l<library>
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'
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'
7003 	  lt_globsym_save_LIBS=$LIBS
7005 	  LIBS=conftstm.$ac_objext
7014 	  LIBS=$lt_globsym_save_LIBS
7399 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
7423 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
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'
9290 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
12536   ac_check_lib_save_LIBS=$LIBS
12537 LIBS="-ldl  $LIBS"
12563 LIBS=$ac_check_lib_save_LIBS
12597   ac_check_lib_save_LIBS=$LIBS
12598 LIBS="-ldld  $LIBS"
12624 LIBS=$ac_check_lib_save_LIBS
12640   ac_check_lib_save_LIBS=$LIBS
12641 LIBS="-ldl  $LIBS"
12667 LIBS=$ac_check_lib_save_LIBS
12679   ac_check_lib_save_LIBS=$LIBS
12680 LIBS="-lsvld  $LIBS"
12706 LIBS=$ac_check_lib_save_LIBS
12718   ac_check_lib_save_LIBS=$LIBS
12719 LIBS="-ldld  $LIBS"
12745 LIBS=$ac_check_lib_save_LIBS
12785     save_LIBS=$LIBS
12786     LIBS="$lt_cv_dlopen_libs $LIBS"
13001     LIBS=$save_LIBS
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'
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'
18139   ac_check_lib_save_LIBS=$LIBS
18140 LIBS="-lgcc  $LIBS"
18160 LIBS=$ac_check_lib_save_LIBS
18169   LIBS="-lgcc $LIBS"
18178   ac_check_lib_save_LIBS=$LIBS
18179 LIBS="-lgcc_s  $LIBS"
18199 LIBS=$ac_check_lib_save_LIBS
18208   LIBS="-lgcc_s $LIBS"
18217   ac_check_lib_save_LIBS=$LIBS
18218 LIBS="-lstdc++  $LIBS"
18238 LIBS=$ac_check_lib_save_LIBS
18247   LIBS="-lstdc++ $LIBS"
18258   ac_func_search_save_LIBS=$LIBS
18282     LIBS="-l$ac_lib  $ac_func_search_save_LIBS"
18299 LIBS=$ac_func_search_save_LIBS
18305   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18314   ac_func_search_save_LIBS=$LIBS
18338     LIBS="-l$ac_lib  $ac_func_search_save_LIBS"
18355 LIBS=$ac_func_search_save_LIBS
18361   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18374   ac_check_lib_save_LIBS=$LIBS
18375 LIBS="-lws2_32  $LIBS"
18395 LIBS=$ac_check_lib_save_LIBS
18404   LIBS="-lws2_32 $LIBS"
18413   ac_check_lib_save_LIBS=$LIBS
18414 LIBS="-lgdi32  $LIBS"
18434 LIBS=$ac_check_lib_save_LIBS
18443   LIBS="-lgdi32 $LIBS"
18511   ac_func_search_save_LIBS=$LIBS
18535     LIBS="-l$ac_lib  $ac_func_search_save_LIBS"
18552 LIBS=$ac_func_search_save_LIBS
18558   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18567   ac_func_search_save_LIBS=$LIBS
18591     LIBS="-l$ac_lib  $ac_func_search_save_LIBS"
18608 LIBS=$ac_func_search_save_LIBS
18614   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18623   ac_func_search_save_LIBS=$LIBS
18647     LIBS="-l$ac_lib  $ac_func_search_save_LIBS"
18664 LIBS=$ac_func_search_save_LIBS
18670   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
18801   # Don't add to $LIBS permanently.
18802   ac_save_LIBS=$LIBS
18803   LIBS="-lX11 $LIBS"
18816   LIBS=$ac_save_LIBS
18820   LIBS=$ac_save_LIBS
18885         LIBS="-L$x_libraries $LIBS"
18893   ac_check_lib_save_LIBS=$LIBS
18894 LIBS="-lX11  $LIBS"
18920 LIBS=$ac_check_lib_save_LIBS
18929   LIBS="-lX11 $LIBS"
18938   ac_check_lib_save_LIBS=$LIBS
18939 LIBS="-lXt  $LIBS"
18965 LIBS=$ac_check_lib_save_LIBS
18974   LIBS="-lXt $LIBS"
18983   ac_check_lib_save_LIBS=$LIBS
18984 LIBS="-lXext  $LIBS"
19010 LIBS=$ac_check_lib_save_LIBS
19019   LIBS="-lXext $LIBS"
19033         LIBS="-L$xm_libraries $LIBS"
19041   ac_check_lib_save_LIBS=$LIBS
19042 LIBS="-lXm  $LIBS"
19068 LIBS=$ac_check_lib_save_LIBS
19077   LIBS="-lXm $LIBS"
19333   ac_func_search_save_LIBS=$LIBS
19357     LIBS="-l$ac_lib  $ac_func_search_save_LIBS"
19374 LIBS=$ac_func_search_save_LIBS
19380   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
19390   ac_func_search_save_LIBS=$LIBS
19414     LIBS="-l$ac_lib  $ac_func_search_save_LIBS"
19431 LIBS=$ac_func_search_save_LIBS
19437   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
19895   ac_check_lib_save_LIBS=$LIBS
19896 LIBS="-lgmp  $LIBS"
19922 LIBS=$ac_check_lib_save_LIBS
19930          LIBS="-lgmp $LIBS"
20042   ac_check_lib_save_LIBS=$LIBS
20043 LIBS="-lffi  $LIBS"
20069 LIBS=$ac_check_lib_save_LIBS
20075                  LIBS="-lffi $LIBS"
20106   ac_check_lib_save_LIBS=$LIBS
20107 LIBS="-lffi  $LIBS"
20133 LIBS=$ac_check_lib_save_LIBS
20139                  LIBS="-lffi $LIBS"
20167 	LIBS="$FFI_LIBS $LIBS" CFLAGS="$FFI_CFLAGS $CFLAGS"
20204   ac_func_search_save_LIBS=$LIBS
20228     LIBS="-l$ac_lib  $ac_func_search_save_LIBS"
20245 LIBS=$ac_func_search_save_LIBS
20251   test "$ac_res" = "none required" || LIBS="$ac_res $LIBS"
21464 ac_save_LIBS=$LIBS
21471   ac_check_lib_save_LIBS=$LIBS
21472 LIBS="-lbsd  $LIBS"
21498 LIBS=$ac_check_lib_save_LIBS
21552 LIBS=$ac_save_LIBS
21883   ac_check_lib_save_LIBS=$LIBS
21884 LIBS="-lm  $LIBS"
21910 LIBS=$ac_check_lib_save_LIBS
22393     dependentlibs=${LIBS}