# On x86 targets, two floating-point double values can't be reliably compared # for inequality due to excess precision of 80387 floating-point coprocessor. # Use -mpc64 to force 80387 floating-point precision to 64 bits. This option # has no effect on SSE, but it is needed in case of -m32 on x86_64 targets. if { [istarget i?86-*-darwin*] || [istarget i?86-*-linux*] || [istarget i?86-*-gnu*] || [istarget i?86-*-kfreebsd*-gnu] || [istarget i?86-*-knetbsd*-gnu] || [istarget i?86-*-solaris2*] || [istarget x86_64-*-darwin*] || [istarget x86_64-*-linux*] || [istarget x86_64-*-kfreebsd*-gnu] || [istarget x86_64-*-knetbsd*-gnu] || [istarget x86_64-*-solaris2*] } { set additional_flags "-mpc64" } return 0