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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure2931 ac_aux_dir=
2934 ac_aux_dir=$ac_dir
2935 ac_install_sh="$ac_aux_dir/install-sh -c"
2938 ac_aux_dir=$ac_dir
2939 ac_install_sh="$ac_aux_dir/install.sh -c"
2942 ac_aux_dir=$ac_dir
2943 ac_install_sh="$ac_aux_dir/shtool install -c"
2947 if test -z "$ac_aux_dir"; then
2955 ac_config_guess="$SHELL $ac_aux_dir/config.guess" # Please don't use this var.
2956 ac_config_sub="$SHELL $ac_aux_dir/confi
[all...]

Completed in 52 milliseconds