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

1930 /* Override any GCC internal prototype to avoid an error.
1931    Use char because int might match the return type of a GCC
4181   GCC=yes
4183   GCC=
4253   if test "$GCC" = yes; then
4259   if test "$GCC" = yes; then
5537 if test yes = "$GCC"; then
5560     # If it fails, then pretend we aren't using GCC.
6129     if test yes != "$GCC"; then
6134     if test yes = "$GCC"; then
7409    if test yes = "$GCC"; then
9122   # AIX sometimes has problems with the GCC collect2 program.  For some
9361 if test yes = "$GCC"; then
9425   if test yes = "$GCC"; then
9447             # adding the '-m68020' flag to GCC prevents building anything better,
9503       # Just because we use GCC doesn't mean we suddenly get shared libraries
9602       # icc used to be incompatible with GCC.
10067     if test yes != "$GCC"; then
10430       if test yes = "$GCC" && test -z "$lt_prog_compiler_static"; then
10517       if test yes = "$GCC"; then
10804      *) _lt_dar_can_shared=$GCC ;;
10853       if test yes = "$GCC"; then
10869       if test yes,no = "$GCC,$with_gnu_ld"; then
10887       if test yes,no = "$GCC,$with_gnu_ld"; then
10974       if test yes = "$GCC"; then
11097       if test yes = "$GCC"; then
11110       if test yes = "$GCC"; then
11129       if test yes = "$GCC"; then
11156 	# but understands '-z linker_flag'.  GCC discards it without '$wl',
11159 	if test yes = "$GCC"; then
11227       if test yes = "$GCC"; then
11253       if test yes = "$GCC"; then
11310   if test yes,yes = "$GCC,$enable_shared"; then
11525 if test yes = "$GCC"; then
11552   # that all is fine and trust -print-search-dirs as is (GCC 4.2? or newer).
11638     # With GCC up to 2.95.x, collect2 would create an import file
11642     # development snapshots of GCC prior to 3.0.
11763   case $GCC,$cc_basename in
12357 if test yes = "$GCC"; then
12554 /* Override any GCC internal prototype to avoid an error.
12555    Use char because int might match the return type of a GCC
12615 /* Override any GCC internal prototype to avoid an error.
12616    Use char because int might match the return type of a GCC
12658 /* Override any GCC internal prototype to avoid an error.
12659    Use char because int might match the return type of a GCC
12697 /* Override any GCC internal prototype to avoid an error.
12698    Use char because int might match the return type of a GCC
12736 /* Override any GCC internal prototype to avoid an error.
12737    Use char because int might match the return type of a GCC
13362   lt_save_GCC=$GCC
13363   GCC=$GXX
13407 if test yes = "$GCC"; then
13430     # If it fails, then pretend we aren't using GCC.
13926      *) _lt_dar_can_shared=$GCC ;;
14722     *.lto.$objext) ;; # Ignore GCC LTO objects
14838             # adding the '-m68020' flag to GCC prevents building anything better,
14998 	    # Intel C++, used to be incompatible with GCC.
15450   if test yes,yes = "$GCC,$enable_shared"; then
15617     # With GCC up to 2.95.x, collect2 would create an import file
15621     # development snapshots of GCC prior to 3.0.
15742   case $GCC,$cc_basename in
16334 if test yes = "$GCC"; then
16444   GCC=$lt_save_GCC
16940 if test "$GCC" = yes; then
17313 fi # $GCC=yes
17488 if test "x$GCC" = "xyes"; then
19210 if test "x$GCC" = "xyes"; then
19340 # And we only support this with GCC, so...
19341 if test "x$GCC" = "xyes"; then
20351 GCC='`$ECHO "$GCC" | $SED "$delay_single_quote_subst"`'
21889 with_gcc=$GCC
22086 # AIX sometimes has problems with the GCC collect2 program.  For some