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

95   *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
98   IFS=$as_save_IFS
102 IFS=$as_save_IFS
218   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
222   IFS=$as_save_IFS
245 IFS=$as_save_IFS
2413 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2416   IFS=$as_save_IFS
2420 IFS=$as_save_IFS
2952   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2955   IFS=$as_save_IFS
2965 IFS=$as_save_IFS
3007   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3010   IFS=$as_save_IFS
3054 IFS=$as_save_IFS
3199 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3202   IFS=$as_save_IFS
3212 IFS=$as_save_IFS
3239 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3242   IFS=$as_save_IFS
3252 IFS=$as_save_IFS
3289   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3292   IFS=$as_save_IFS
3307 IFS=$as_save_IFS
3337 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3340   IFS=$as_save_IFS
3350 IFS=$as_save_IFS
3588 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3591   IFS=$as_save_IFS
3601 IFS=$as_save_IFS
3628 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3631   IFS=$as_save_IFS
3641 IFS=$as_save_IFS
3681 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3684   IFS=$as_save_IFS
3694 IFS=$as_save_IFS
3722 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3725   IFS=$as_save_IFS
3739 IFS=$as_save_IFS
3780 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3783   IFS=$as_save_IFS
3793 IFS=$as_save_IFS
3824 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3827   IFS=$as_save_IFS
3837 IFS=$as_save_IFS
4633 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4636   IFS=$as_save_IFS
4646 IFS=$as_save_IFS
4677 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4680   IFS=$as_save_IFS
4690 IFS=$as_save_IFS
5244   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5247   IFS=$as_save_IFS
5285 IFS=$as_save_IFS
5320   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5323   IFS=$as_save_IFS
5361 IFS=$as_save_IFS
5386   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5389   IFS=$as_save_IFS
5427 IFS=$as_save_IFS
5453   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5456   IFS=$as_save_IFS
5494 IFS=$as_save_IFS
5716 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5719   IFS=$as_save_IFS
5729 IFS=$as_save_IFS
5760 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5763   IFS=$as_save_IFS
5773 IFS=$as_save_IFS
6161 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6164   IFS=$as_save_IFS
6174 IFS=$as_save_IFS
6201 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6204   IFS=$as_save_IFS
6214 IFS=$as_save_IFS
6505 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6508   IFS=$as_save_IFS
6518 IFS=$as_save_IFS
6545 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6548   IFS=$as_save_IFS
6558 IFS=$as_save_IFS
6649 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6652   IFS=$as_save_IFS
6662 IFS=$as_save_IFS
6693 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6696   IFS=$as_save_IFS
6706 IFS=$as_save_IFS
6818 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6821   IFS=$as_save_IFS
6831 IFS=$as_save_IFS
6858 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6861   IFS=$as_save_IFS
6871 IFS=$as_save_IFS
6917 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6920   IFS=$as_save_IFS
6930 IFS=$as_save_IFS
6957 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6960   IFS=$as_save_IFS
6970 IFS=$as_save_IFS
7443   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7446   IFS=$as_save_IFS
7460 IFS=$as_save_IFS
7786 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7789   IFS=$as_save_IFS
7799 IFS=$as_save_IFS
7826 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7829   IFS=$as_save_IFS
7839 IFS=$as_save_IFS
7906 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7909   IFS=$as_save_IFS
7919 IFS=$as_save_IFS
7946 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7949   IFS=$as_save_IFS
7959 IFS=$as_save_IFS
7998 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8001   IFS=$as_save_IFS
8011 IFS=$as_save_IFS
8038 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8041   IFS=$as_save_IFS
8051 IFS=$as_save_IFS
8090 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8093   IFS=$as_save_IFS
8103 IFS=$as_save_IFS
8130 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8133   IFS=$as_save_IFS
8143 IFS=$as_save_IFS
8182 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8185   IFS=$as_save_IFS
8195 IFS=$as_save_IFS
8222 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8225   IFS=$as_save_IFS
8235 IFS=$as_save_IFS
8274 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8277   IFS=$as_save_IFS
8287 IFS=$as_save_IFS
8314 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8317   IFS=$as_save_IFS
8327 IFS=$as_save_IFS
17188   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
17192   IFS=$as_save_IFS
17202 IFS=$as_save_IFS
19799   *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
19802   IFS=$as_save_IFS
19806 IFS=$as_save_IFS