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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dconfigure4808 depcc="$CC" am_compiler_list=
4810 { $as_echo "$as_me:${as_lineno-$LINENO}: checking dependency style of $depcc" >&5
4811 $as_echo_n "checking dependency style of $depcc... " >&6; }
4840 case " $depcc " in #(
4893 $SHELL ./depcomp $depcc -c $am__minus_obj sub/conftest.c \
13437 depcc="$CXX" am_compiler_list=
13439 { $as_echo "$as_me:${as_lineno-$LINENO}: checking dependency style of $depcc" >&5
13440 $as_echo_n "checking dependency style of $depcc... " >&6; }
13469 case " $depcc " in #(
13522 $SHELL ./depcomp $depcc
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure4483 depcc="$CC" am_compiler_list=
4485 { $as_echo "$as_me:${as_lineno-$LINENO}: checking dependency style of $depcc" >&5
4486 $as_echo_n "checking dependency style of $depcc... " >&6; }
4515 case " $depcc " in #(
4568 $SHELL ./depcomp $depcc -c $am__minus_obj sub/conftest.c \
4868 depcc="$CXX" am_compiler_list=
4870 { $as_echo "$as_me:${as_lineno-$LINENO}: checking dependency style of $depcc" >&5
4871 $as_echo_n "checking dependency style of $depcc... " >&6; }
4900 case " $depcc " in #(
4953 $SHELL ./depcomp $depcc
[all...]

Completed in 46 milliseconds