Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/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
813 PATH_SEPARATOR
2622 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2989   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3184 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3224 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3274   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3275 for as_dir in $PATH$PATH_SEPARATOR/opt/sfw/bin
3322 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3676 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3716 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3976 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4016 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4069 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4110 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4168 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4212 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4950   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5026   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5027 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5069     as_fn_error $? "no acceptable grep could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" "$LINENO" 5
5092   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5093 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5135     as_fn_error $? "no acceptable egrep could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" "$LINENO" 5
5159   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5160 for as_dir in $PATH$PATH_SEPARATOR/usr/xpg4/bin
5202     as_fn_error $? "no acceptable fgrep could be found in $PATH$PATH_SEPARATOR/usr/xpg4/bin" "$LINENO" 5
5285   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
5360     lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
5422 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5466 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5867 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5907 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6208 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6248 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6349 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6393 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6518 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6558 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6617 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6657 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7143   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7486 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7526 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7606 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7646 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7698 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7738 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7790 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7830 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7882 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7922 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7974 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8014 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8554 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8594 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8646 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8686 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8738 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8778 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8855       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
8886       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
8917       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
8947       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
9159   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
9160   ac_dummy="/usr/bin$PATH_SEPARATOR$PATH"
9225   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
9226   ac_dummy="/usr/bin$PATH_SEPARATOR$PATH"
11531     lt_search_path_spec=`$ECHO "$lt_search_path_spec" | $SED "s/$PATH_SEPARATOR/ /g"`
11816       sys_lib_search_path_spec=`cygpath --path --unix "$sys_lib_search_path_spec" | $SED -e "s/$PATH_SEPARATOR/ /g"`
11824         sys_lib_search_path_spec=`$ECHO "$sys_lib_search_path_spec" | $SED -e "s/$PATH_SEPARATOR/ /g"`
13202 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
13246 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
13885   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
16243       sys_lib_search_path_spec=`cygpath --path --unix "$sys_lib_search_path_spec" | $SED -e "s/$PATH_SEPARATOR/ /g"`
16251         sys_lib_search_path_spec=`$ECHO "$sys_lib_search_path_spec" | $SED -e "s/$PATH_SEPARATOR/ /g"`
16918 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
16958 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
17011 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
17052 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
17110 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
17154 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
19778   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
19821   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
22410 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
22796 if test "${PATH_SEPARATOR+set}" != set; then
22797   PATH_SEPARATOR=:
22800       PATH_SEPARATOR=';'
22816   *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
23315 PATH_SEPARATOR='`$ECHO "$PATH_SEPARATOR" | $SED "$delay_single_quote_subst"`'
23512 PATH_SEPARATOR \
24472 PATH_SEPARATOR=$lt_PATH_SEPARATOR