Cross Reference: /seL4-l4v-10.1.1/HOL4/polyml/configure

561 # Sed expression to map a string onto a valid CPP name.
696 CPP
849 CPP
1549   CPP         C preprocessor
2932 ac_cpp='$CPP $CPPFLAGS'
3961 ac_cpp='$CPP $CPPFLAGS'
4744 ac_cpp='$CPP $CPPFLAGS'
4750 ac_cpp='$CPP $CPPFLAGS'
4802 ac_cpp='$CPP $CPPFLAGS'
7397 ac_cpp='$CPP $CPPFLAGS'
7421 ac_cpp='$CPP $CPPFLAGS'
8255 ac_cpp='$CPP $CPPFLAGS'
8261 # On Suns, sometimes $CPP names a directory.
8262 if test -n "$CPP" && test -d "$CPP"; then
8263   CPP=
8265 if test -z "$CPP"; then
8269       # Double quotes because CPP needs to be expanded
8270     for CPP in "$CC -E" "$CC -E -traditional-cpp" "/lib/cpp"
8322     ac_cv_prog_CPP=$CPP
8325   CPP=$ac_cv_prog_CPP
8327   ac_cv_prog_CPP=$CPP
8329 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $CPP" >&5
8330 $as_echo "$CPP" >&6; }
8381 as_fn_error $? "C preprocessor \"$CPP\" fails sanity check
8386 ac_cpp='$CPP $CPPFLAGS'
9288 ac_cpp='$CPP $CPPFLAGS'
13119 ac_cpp='$CPP $CPPFLAGS'
13432 ac_cpp='$CPP $CPPFLAGS'
13706 ac_cpp='$CPP $CPPFLAGS'
16889 ac_cpp='$CPP $CPPFLAGS'
16903 ac_cpp='$CPP $CPPFLAGS'
17436 ac_cpp='$CPP $CPPFLAGS'
17442 ac_cpp='$CPP $CPPFLAGS'
17494 ac_cpp='$CPP $CPPFLAGS'
17660 ac_cpp='$CPP $CPPFLAGS'
17666 # On Suns, sometimes $CPP names a directory.
17667 if test -n "$CPP" && test -d "$CPP"; then
17668   CPP=
17670 if test -z "$CPP"; then
17674       # Double quotes because CPP needs to be expanded
17675     for CPP in "$CC -E" "$CC -E -traditional-cpp" "/lib/cpp"
17727     ac_cv_prog_CPP=$CPP
17730   CPP=$ac_cv_prog_CPP
17732   ac_cv_prog_CPP=$CPP
17734 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $CPP" >&5
17735 $as_echo "$CPP" >&6; }
17786 as_fn_error $? "C preprocessor \"$CPP\" fails sanity check
17791 ac_cpp='$CPP $CPPFLAGS'
23089 # Sed expression to map a string onto a valid CPP name.