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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure3004 if ${ac_cv_path_install+:} false; then :
3043 ac_cv_path_install="$as_dir/$ac_prog$ac_exec_ext -c"
3059 if test "${ac_cv_path_install+set}" = set; then
3060 INSTALL=$ac_cv_path_install
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure2986 if ${ac_cv_path_install+:} false; then :
3025 ac_cv_path_install="$as_dir/$ac_prog$ac_exec_ext -c"
3041 if test "${ac_cv_path_install+set}" = set; then
3042 INSTALL=$ac_cv_path_install

Completed in 78 milliseconds