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

1868 /* Override any GCC internal prototype to avoid an error.
1869    Use char because int might match the return type of a GCC
4569   GCC=yes
4571   GCC=
4641   if test "$GCC" = yes; then
4647   if test "$GCC" = yes; then
5243 if test yes = "$GCC"; then
5266     # If it fails, then pretend we aren't using GCC.
5835     if test yes != "$GCC"; then
5840     if test yes = "$GCC"; then
7109    if test yes = "$GCC"; then
9109   # AIX sometimes has problems with the GCC collect2 program.  For some
9348 if test yes = "$GCC"; then
9412   if test yes = "$GCC"; then
9434             # adding the '-m68020' flag to GCC prevents building anything better,
9490       # Just because we use GCC doesn't mean we suddenly get shared libraries
9589       # icc used to be incompatible with GCC.
10054     if test yes != "$GCC"; then
10417       if test yes = "$GCC" && test -z "$lt_prog_compiler_static"; then
10504       if test yes = "$GCC"; then
10791      *) _lt_dar_can_shared=$GCC ;;
10840       if test yes = "$GCC"; then
10856       if test yes,no = "$GCC,$with_gnu_ld"; then
10874       if test yes,no = "$GCC,$with_gnu_ld"; then
10961       if test yes = "$GCC"; then
11084       if test yes = "$GCC"; then
11097       if test yes = "$GCC"; then
11116       if test yes = "$GCC"; then
11143 	# but understands '-z linker_flag'.  GCC discards it without '$wl',
11146 	if test yes = "$GCC"; then
11214       if test yes = "$GCC"; then
11240       if test yes = "$GCC"; then
11297   if test yes,yes = "$GCC,$enable_shared"; then
11512 if test yes = "$GCC"; then
11539   # that all is fine and trust -print-search-dirs as is (GCC 4.2? or newer).
11625     # With GCC up to 2.95.x, collect2 would create an import file
11629     # development snapshots of GCC prior to 3.0.
11750   case $GCC,$cc_basename in
12344 if test yes = "$GCC"; then
12541 /* Override any GCC internal prototype to avoid an error.
12542    Use char because int might match the return type of a GCC
12602 /* Override any GCC internal prototype to avoid an error.
12603    Use char because int might match the return type of a GCC
12645 /* Override any GCC internal prototype to avoid an error.
12646    Use char because int might match the return type of a GCC
12684 /* Override any GCC internal prototype to avoid an error.
12685    Use char because int might match the return type of a GCC
12723 /* Override any GCC internal prototype to avoid an error.
12724    Use char because int might match the return type of a GCC
13798   lt_save_GCC=$GCC
13799   GCC=$GXX
13843 if test yes = "$GCC"; then
13866     # If it fails, then pretend we aren't using GCC.
14362      *) _lt_dar_can_shared=$GCC ;;
15158     *.lto.$objext) ;; # Ignore GCC LTO objects
15274             # adding the '-m68020' flag to GCC prevents building anything better,
15434 	    # Intel C++, used to be incompatible with GCC.
15886   if test yes,yes = "$GCC,$enable_shared"; then
16053     # With GCC up to 2.95.x, collect2 would create an import file
16057     # development snapshots of GCC prior to 3.0.
16178   case $GCC,$cc_basename in
16770 if test yes = "$GCC"; then
16880   GCC=$lt_save_GCC
17261   GCC=yes
17263   GCC=
17333   if test "$GCC" = yes; then
17339   if test "$GCC" = yes; then
17945      if test "$GCC" != yes; then
18262 /* Override any GCC internal prototype to avoid an error.
18263    Use char because int might match the return type of a GCC
18318 /* Override any GCC internal prototype to avoid an error.
18319    Use char because int might match the return type of a GCC
18450 ## the X64 ABI published by MS.  Earlier versions of GCC (anything
18515 /* Override any GCC internal prototype to avoid an error.
18516    Use char because int might match the return type of a GCC
18571 /* Override any GCC internal prototype to avoid an error.
18572    Use char because int might match the return type of a GCC
18627 /* Override any GCC internal prototype to avoid an error.
18628    Use char because int might match the return type of a GCC
18898 /* Override any GCC internal prototype to avoid an error.
18899    Use char because int might match the return type of a GCC
18943 /* Override any GCC internal prototype to avoid an error.
18944    Use char because int might match the return type of a GCC
18988 /* Override any GCC internal prototype to avoid an error.
18989    Use char because int might match the return type of a GCC
19046 /* Override any GCC internal prototype to avoid an error.
19047    Use char because int might match the return type of a GCC
19337 /* Override any GCC internal prototype to avoid an error.
19338    Use char because int might match the return type of a GCC
19394 /* Override any GCC internal prototype to avoid an error.
19395    Use char because int might match the return type of a GCC
19900 /* Override any GCC internal prototype to avoid an error.
19901    Use char because int might match the return type of a GCC
20047 /* Override any GCC internal prototype to avoid an error.
20048    Use char because int might match the return type of a GCC
20111 /* Override any GCC internal prototype to avoid an error.
20112    Use char because int might match the return type of a GCC
20208 /* Override any GCC internal prototype to avoid an error.
20209    Use char because int might match the return type of a GCC
21476 /* Override any GCC internal prototype to avoid an error.
21477    Use char because int might match the return type of a GCC
21888 /* Override any GCC internal prototype to avoid an error.
21889    Use char because int might match the return type of a GCC
22266             # GCC defaults to non-conforming floating-point, and does not respect the rounding mode
23357 GCC='`$ECHO "$GCC" | $SED "$delay_single_quote_subst"`'
24721 with_gcc=$GCC
24918 # AIX sometimes has problems with the GCC collect2 program.  For some