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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure1572 .) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
1574 ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
1575 # A ".." for each directory in $ac_dir_suffix.
1576 ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
1583 ac_abs_builddir=$ac_pwd$ac_dir_suffix
1593 ac_srcdir=$srcdir$ac_dir_suffix;
1597 ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix
1601 ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix
24022 .) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
24024 ac_dir_suffix
[all...]

Completed in 108 milliseconds