Searched refs:ac_aux_dir (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2940 ac_aux_dir=
2943 ac_aux_dir=$ac_dir
2944 ac_install_sh="$ac_aux_dir/install-sh -c"
2947 ac_aux_dir=$ac_dir
2948 ac_install_sh="$ac_aux_dir/install.sh -c"
2951 ac_aux_dir=$ac_dir
2952 ac_install_sh="$ac_aux_dir/shtool install -c"
2956 if test -z "$ac_aux_dir"; then
2964 ac_config_guess="$SHELL $ac_aux_dir/config.guess" # Please don't use this var.
2965 ac_config_sub="$SHELL $ac_aux_dir/confi
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure2732 ac_aux_dir=
2735 ac_aux_dir=$ac_dir
2736 ac_install_sh="$ac_aux_dir/install-sh -c"
2739 ac_aux_dir=$ac_dir
2740 ac_install_sh="$ac_aux_dir/install.sh -c"
2743 ac_aux_dir=$ac_dir
2744 ac_install_sh="$ac_aux_dir/shtool install -c"
2748 if test -z "$ac_aux_dir"; then
2756 ac_config_guess="$SHELL $ac_aux_dir/config.guess" # Please don't use this var.
2757 ac_config_sub="$SHELL $ac_aux_dir/confi
[all...]

Completed in 40 milliseconds