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

/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in237 host_alias = @host_alias@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in291 host_alias = @host_alias@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in274 host_alias = @host_alias@
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in297 host_alias = @host_alias@
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in318 host_alias = @host_alias@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in432 host_alias = @host_alias@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in247 host_alias = @host_alias@
428 @echo 'set host_alias "$(host_alias)"' >>site.tmp
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure832 host_alias
894 host_alias
1071 ac_prev=host_alias ;;
1073 host_alias=$ac_optarg ;;
1316 : "${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option}"
1360 host=$host_alias
1364 if test "x$host_alias" != x; then
1367 elif test "x$build_alias" != "x$host_alias"; then
1373 test -n "$host_alias" && ac_tool_prefix=$host_alias
[all...]
H A DMakefile.in544 host_alias = @host_alias@
/seL4-l4v-10.1.1/HOL4/polyml/
H A DMakefile.in408 host_alias = @host_alias@
H A Dconfigure777 host_alias
841 host_alias
1031 ac_prev=host_alias ;;
1033 host_alias=$ac_optarg ;;
1276 : "${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option}"
1320 host=$host_alias
1324 if test "x$host_alias" != x; then
1327 elif test "x$build_alias" != "x$host_alias"; then
1333 test -n "$host_alias" && ac_tool_prefix=$host_alias
[all...]

Completed in 64 milliseconds