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

75 if test "${PATH_SEPARATOR+set}" != set; then
76   PATH_SEPARATOR=:
79       PATH_SEPARATOR=';'
95   *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
218   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
220 for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
868 PATH_SEPARATOR
2413 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2952   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3007   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3199 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3239 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3289   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3290 for as_dir in $PATH$PATH_SEPARATOR/opt/sfw/bin
3337 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3588 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3628 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3681 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3722 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3780 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3824 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4633 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4677 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5244   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5320   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5321 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5363     as_fn_error $? "no acceptable grep could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" "$LINENO" 5
5386   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5387 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5429     as_fn_error $? "no acceptable egrep could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" "$LINENO" 5
5453   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5454 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5496     as_fn_error $? "no acceptable fgrep could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" "$LINENO" 5
5579   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
5654     lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
5716 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5760 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6161 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6201 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6505 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6545 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6649 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6693 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6818 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6858 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6917 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6957 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7443   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7786 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7826 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7906 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7946 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7998 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8038 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8090 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8130 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8182 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8222 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8274 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8314 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8868       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
8899       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
8930       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
8960       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
9172   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
9173   ac_dummy="/usr/bin$PATH_SEPARATOR$PATH"
9238   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
9239   ac_dummy="/usr/bin$PATH_SEPARATOR$PATH"
11544     lt_search_path_spec=`$ECHO "$lt_search_path_spec" | $SED "s/$PATH_SEPARATOR/ /g"`
11829       sys_lib_search_path_spec=`cygpath --path --unix "$sys_lib_search_path_spec" | $SED -e "s/$PATH_SEPARATOR/ /g"`
11837         sys_lib_search_path_spec=`$ECHO "$sys_lib_search_path_spec" | $SED -e "s/$PATH_SEPARATOR/ /g"`
13449   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
15807       sys_lib_search_path_spec=`cygpath --path --unix "$sys_lib_search_path_spec" | $SED -e "s/$PATH_SEPARATOR/ /g"`
15815         sys_lib_search_path_spec=`$ECHO "$sys_lib_search_path_spec" | $SED -e "s/$PATH_SEPARATOR/ /g"`
17188   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
19779 if test "${PATH_SEPARATOR+set}" != set; then
19780   PATH_SEPARATOR=:
19783       PATH_SEPARATOR=';'
19799   *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
20307 PATH_SEPARATOR='`$ECHO "$PATH_SEPARATOR" | $SED "$delay_single_quote_subst"`'
20503 PATH_SEPARATOR \
21634 PATH_SEPARATOR=$lt_PATH_SEPARATOR