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

/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in235 host_alias = @host_alias@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in295 host_alias = @host_alias@
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in423 host_alias = @host_alias@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in317 host_alias = @host_alias@
/seL4-l4v-master/HOL4/polyml/
H A DMakefile.in408 host_alias = @host_alias@
H A Dconfigure772 host_alias
837 host_alias
1025 ac_prev=host_alias ;;
1027 host_alias=$ac_optarg ;;
1270 : "${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option}"
1314 host=$host_alias
1318 if test "x$host_alias" != x; then
1321 elif test "x$build_alias" != "x$host_alias"; then
1327 test -n "$host_alias" && ac_tool_prefix=$host_alias
[all...]

Completed in 85 milliseconds