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

/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in224 build_alias = @build_alias@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in280 build_alias = @build_alias@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in263 build_alias = @build_alias@
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in284 build_alias = @build_alias@
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in305 build_alias = @build_alias@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in419 build_alias = @build_alias@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in236 build_alias = @build_alias@
426 @echo 'set build_alias "$(build_alias)"' >>site.tmp
/seL4-l4v-10.1.1/HOL4/polyml/
H A DMakefile.in395 build_alias = @build_alias@
H A Dconfigure778 build_alias
840 ac_precious_vars='build_alias
942 ac_prev=build_alias ;;
944 build_alias=$ac_optarg ;;
1276 : "${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option}"
1319 build=$build_alias
1325 if test "x$build_alias" = x; then
1327 elif test "x$build_alias" != "x$host_alias"; then
3581 ac_build_alias=$build_alias
23319 build_alias
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure833 build_alias
893 ac_precious_vars='build_alias
982 ac_prev=build_alias ;;
984 build_alias=$ac_optarg ;;
1316 : "${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option}"
1359 build=$build_alias
1365 if test "x$build_alias" = x; then
1367 elif test "x$build_alias" != "x$host_alias"; then
2770 ac_build_alias=$build_alias
20311 build_alias
[all...]
H A DMakefile.in533 build_alias = @build_alias@

Completed in 95 milliseconds