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

/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in226 build_os = @build_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in282 build_os = @build_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in265 build_os = @build_os@
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in286 build_os = @build_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in307 build_os = @build_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in421 build_os = @build_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in238 build_os = @build_os@
/seL4-l4v-10.1.1/HOL4/polyml/
H A DMakefile.in397 build_os = @build_os@
H A Dconfigure745 build_os
3605 build_os=$*
3607 case $build_os in *\ *) build_os=`echo "$build_os" | sed 's/ /-/g'`;; esac
5371 case $build_os in
5573 case $build_os in
6876 case $build_os in
11794 case $build_os in
16221 case $build_os i
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure827 build_os
2794 build_os=$*
2796 case $build_os in *\ *) build_os=`echo "$build_os" | sed 's/ /-/g'`;; esac
5665 case $build_os in
5867 case $build_os in
7176 case $build_os in
11807 case $build_os in
15785 case $build_os i
[all...]
H A DMakefile.in535 build_os = @build_os@

Completed in 88 milliseconds