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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure4778 GXX=yes
4780 GXX=
4850 if test "$GXX" = yes; then
4856 if test "$GXX" = yes; then
13363 GCC=$GXX
13388 if test yes = "$GXX"; then
13394 if test yes = "$GXX"; then
13547 GXX=no
13630 if test yes = "$GXX"; then
13839 case $GXX,
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure13347 GXX=yes
13349 GXX=
13419 if test "$GXX" = yes; then
13425 if test "$GXX" = yes; then
13799 GCC=$GXX
13824 if test yes = "$GXX"; then
13830 if test yes = "$GXX"; then
13983 GXX=no
14066 if test yes = "$GXX"; then
14275 case $GXX,
[all...]

Completed in 64 milliseconds