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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure913 ac_prev=
918 if test -n "$ac_prev"; then
919 eval $ac_prev=\$ac_option
920 ac_prev=
937 ac_prev=bindir ;;
942 ac_prev=build_alias ;;
948 ac_prev=cache_file ;;
957 ac_prev=datadir ;;
963 ac_prev=datarootdir ;;
985 ac_prev
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure953 ac_prev=
958 if test -n "$ac_prev"; then
959 eval $ac_prev=\$ac_option
960 ac_prev=
977 ac_prev=bindir ;;
982 ac_prev=build_alias ;;
988 ac_prev=cache_file ;;
997 ac_prev=datadir ;;
1003 ac_prev=datarootdir ;;
1025 ac_prev
[all...]

Completed in 48 milliseconds