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

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure4548 depcc="$CC" am_compiler_list=
4550 { $as_echo "$as_me:${as_lineno-$LINENO}: checking dependency style of $depcc" >&5
4551 $as_echo_n "checking dependency style of $depcc... " >&6; }
4580 case " $depcc " in #(
4633 $SHELL ./depcomp $depcc -c $am__minus_obj sub/conftest.c \
13303 depcc="$CXX" am_compiler_list=
13305 { $as_echo "$as_me:${as_lineno-$LINENO}: checking dependency style of $depcc" >&5
13306 $as_echo_n "checking dependency style of $depcc... " >&6; }
13335 case " $depcc " in #(
13388 $SHELL ./depcomp $depcc
[all...]

Completed in 53 milliseconds