Searched refs:ac_compiler (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure4266 ac_compiler=$2
4268 { { ac_try="$ac_compiler $ac_option >&5"
4275 (eval "$ac_compiler $ac_option >&5") 2>conftest.err
13294 ac_compiler=$2
13296 { { ac_try="$ac_compiler $ac_option >&5"
13303 (eval "$ac_compiler $ac_option >&5") 2>conftest.err
17208 ac_compiler=$2
17210 { { ac_try="$ac_compiler $ac_option >&5"
17217 (eval "$ac_compiler $ac_option >&5") 2>conftest.err
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure3878 ac_compiler=$2
3880 { { ac_try="$ac_compiler $ac_option >&5"
3887 (eval "$ac_compiler $ac_option >&5") 2>conftest.err
4725 ac_compiler=$2
4727 { { ac_try="$ac_compiler $ac_option >&5"
4734 (eval "$ac_compiler $ac_option >&5") 2>conftest.err

Completed in 92 milliseconds