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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure823 host_os
2827 host_os=$*
2829 case $host_os in *\ *) host_os=`echo "$host_os" | sed 's/ /-/g'`;; esac
6127 case $host_os in
6271 case $host_os in
6458 case $host_os in
6604 case $host_os in
7011 case $host_os i
[all...]
H A Dltmain.sh3441 case $host_os in
4315 case $host_os in
5858 case $host_os in
5900 case $host_os in
6319 case $host_os in
8639 case $host_os in
9637 case $host_os in
H A DMakefile.in546 host_os = @host_os@
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure741 host_os
3638 host_os=$*
3640 case $host_os in *\ *) host_os=`echo "$host_os" | sed 's/ /-/g'`;; esac
3652 case "${host_os}" in
5833 case $host_os in
5974 case $host_os in
6161 case $host_os in
6304 case $host_os i
[all...]
H A DMakefile.in410 host_os = @host_os@
H A Dltmain.sh3441 case $host_os in
4315 case $host_os in
5858 case $host_os in
5900 case $host_os in
6319 case $host_os in
8639 case $host_os in
9637 case $host_os in
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in239 host_os = @host_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in293 host_os = @host_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in276 host_os = @host_os@
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in299 host_os = @host_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in320 host_os = @host_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in434 host_os = @host_os@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in249 host_os = @host_os@

Completed in 112 milliseconds