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

84 # IFS
87 # (If _AS_PATH_WALK were called with IFS unset, it would disable word
88 # splitting by setting IFS to empty value.)
89 IFS=" ""	$as_nl"
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
2622 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2625   IFS=$as_save_IFS
2629 IFS=$as_save_IFS
2716       _ | IFS | as_nl) ;; #(
2989   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2992   IFS=$as_save_IFS
3036 IFS=$as_save_IFS
3184 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3187   IFS=$as_save_IFS
3197 IFS=$as_save_IFS
3224 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3227   IFS=$as_save_IFS
3237 IFS=$as_save_IFS
3274   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3277   IFS=$as_save_IFS
3292 IFS=$as_save_IFS
3322 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3325   IFS=$as_save_IFS
3335 IFS=$as_save_IFS
3597 ac_save_IFS=$IFS; IFS='-'
3603 # Remember, the first character of IFS is used to create $*,
3606 IFS=$ac_save_IFS
3630 ac_save_IFS=$IFS; IFS='-'
3636 # Remember, the first character of IFS is used to create $*,
3639 IFS=$ac_save_IFS
3676 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3679   IFS=$as_save_IFS
3689 IFS=$as_save_IFS
3716 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3719   IFS=$as_save_IFS
3729 IFS=$as_save_IFS
3976 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3979   IFS=$as_save_IFS
3989 IFS=$as_save_IFS
4016 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4019   IFS=$as_save_IFS
4029 IFS=$as_save_IFS
4069 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4072   IFS=$as_save_IFS
4082 IFS=$as_save_IFS
4110 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4113   IFS=$as_save_IFS
4127 IFS=$as_save_IFS
4168 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4171   IFS=$as_save_IFS
4181 IFS=$as_save_IFS
4212 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4215   IFS=$as_save_IFS
4225 IFS=$as_save_IFS
4950   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4953   IFS=$as_save_IFS
4991 IFS=$as_save_IFS
5026   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5029   IFS=$as_save_IFS
5067 IFS=$as_save_IFS
5092   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5095   IFS=$as_save_IFS
5133 IFS=$as_save_IFS
5159   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5162   IFS=$as_save_IFS
5200 IFS=$as_save_IFS
5285   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
5287     IFS=$lt_save_ifs
5304   IFS=$lt_save_ifs
5360     lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
5362       IFS=$lt_save_ifs
5395     IFS=$lt_save_ifs
5422 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5425   IFS=$as_save_IFS
5435 IFS=$as_save_IFS
5466 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5469   IFS=$as_save_IFS
5479 IFS=$as_save_IFS
5867 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5870   IFS=$as_save_IFS
5880 IFS=$as_save_IFS
5907 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
5910   IFS=$as_save_IFS
5920 IFS=$as_save_IFS
6208 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6211   IFS=$as_save_IFS
6221 IFS=$as_save_IFS
6248 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6251   IFS=$as_save_IFS
6261 IFS=$as_save_IFS
6349 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6352   IFS=$as_save_IFS
6362 IFS=$as_save_IFS
6393 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6396   IFS=$as_save_IFS
6406 IFS=$as_save_IFS
6518 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6521   IFS=$as_save_IFS
6531 IFS=$as_save_IFS
6558 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6561   IFS=$as_save_IFS
6571 IFS=$as_save_IFS
6617 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6620   IFS=$as_save_IFS
6630 IFS=$as_save_IFS
6657 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
6660   IFS=$as_save_IFS
6670 IFS=$as_save_IFS
7143   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7146   IFS=$as_save_IFS
7160 IFS=$as_save_IFS
7486 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7489   IFS=$as_save_IFS
7499 IFS=$as_save_IFS
7526 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7529   IFS=$as_save_IFS
7539 IFS=$as_save_IFS
7606 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7609   IFS=$as_save_IFS
7619 IFS=$as_save_IFS
7646 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7649   IFS=$as_save_IFS
7659 IFS=$as_save_IFS
7698 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7701   IFS=$as_save_IFS
7711 IFS=$as_save_IFS
7738 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7741   IFS=$as_save_IFS
7751 IFS=$as_save_IFS
7790 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7793   IFS=$as_save_IFS
7803 IFS=$as_save_IFS
7830 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7833   IFS=$as_save_IFS
7843 IFS=$as_save_IFS
7882 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7885   IFS=$as_save_IFS
7895 IFS=$as_save_IFS
7922 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7925   IFS=$as_save_IFS
7935 IFS=$as_save_IFS
7974 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
7977   IFS=$as_save_IFS
7987 IFS=$as_save_IFS
8014 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8017   IFS=$as_save_IFS
8027 IFS=$as_save_IFS
8554 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8557   IFS=$as_save_IFS
8567 IFS=$as_save_IFS
8594 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8597   IFS=$as_save_IFS
8607 IFS=$as_save_IFS
8646 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8649   IFS=$as_save_IFS
8659 IFS=$as_save_IFS
8686 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8689   IFS=$as_save_IFS
8699 IFS=$as_save_IFS
8738 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8741   IFS=$as_save_IFS
8751 IFS=$as_save_IFS
8778 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
8781   IFS=$as_save_IFS
8791 IFS=$as_save_IFS
8855       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
8857 	IFS=$lt_save_ifs
8862       IFS=$lt_save_ifs
8886       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
8888 	IFS=$lt_save_ifs
8893       IFS=$lt_save_ifs
8917       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
8919 	IFS=$lt_save_ifs
8924       IFS=$lt_save_ifs
8947       lt_save_ifs=$IFS; IFS=$IFS$PATH_SEPARATOR,
8949 	IFS=$lt_save_ifs
8954       IFS=$lt_save_ifs
9159   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
9162     IFS=$lt_save_ifs
9193   IFS=$lt_save_ifs
9225   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
9228     IFS=$lt_save_ifs
9259   IFS=$lt_save_ifs
11797       lt_save_ifs=$IFS
11798       IFS=';'
11801         IFS=$lt_save_ifs
11806       IFS=$lt_save_ifs
13202 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
13205   IFS=$as_save_IFS
13215 IFS=$as_save_IFS
13246 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
13249   IFS=$as_save_IFS
13259 IFS=$as_save_IFS
13885   lt_save_ifs=$IFS; IFS=$PATH_SEPARATOR
13887     IFS=$lt_save_ifs
13904   IFS=$lt_save_ifs
16224       lt_save_ifs=$IFS
16225       IFS=';'
16228         IFS=$lt_save_ifs
16233       IFS=$lt_save_ifs
16918 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
16921   IFS=$as_save_IFS
16931 IFS=$as_save_IFS
16958 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
16961   IFS=$as_save_IFS
16971 IFS=$as_save_IFS
17011 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
17014   IFS=$as_save_IFS
17024 IFS=$as_save_IFS
17052 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
17055   IFS=$as_save_IFS
17069 IFS=$as_save_IFS
17110 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
17113   IFS=$as_save_IFS
17123 IFS=$as_save_IFS
17154 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
17157   IFS=$as_save_IFS
17167 IFS=$as_save_IFS
19778   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
19781   IFS=$as_save_IFS
19791 IFS=$as_save_IFS
19821   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
19824   IFS=$as_save_IFS
19834 IFS=$as_save_IFS
21683 ac_save_IFS=$IFS; IFS=','
21685 IFS=$ac_save_IFS
22410 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
22413   IFS=$as_save_IFS
22423 IFS=$as_save_IFS
22536       _ | IFS | as_nl) ;; #(
22805 # IFS
22808 # (If _AS_PATH_WALK were called with IFS unset, it would disable word
22809 # splitting by setting IFS to empty value.)
22810 IFS=" ""	$as_nl"
22816   *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
22819   IFS=$as_save_IFS
22823 IFS=$as_save_IFS
24021   ac_save_IFS=$IFS
24022   IFS=:
24024   IFS=$ac_save_IFS