Re: [patch/rfc] Add host's floatformat

Andrew Cagney
2004-07-30T13:26:37Z

> Andrew Cagney <cagney@gnu.org> writes:
>
>
>>> * configure.host (gdb_host_float_format, gdb_host_double_format)
>>> (gdb_host_long_double_format): Set according to the host.
>
>
> 2004-07-30 Andreas Schwab <schwab@suse.de>
>
> * configure.host: Set host floatformat for m68k.
>
> --- gdb/configure.host 30 Jul 2004 10:54:44 +0200 1.81
> +++ gdb/configure.host 30 Jul 2004 10:57:33 +0200
> @@ -165,6 +165,11 @@ hppa*-*-linux*)
> gdb_host_double_format="&floatformat_ieee_double_big"
> gdb_host_long_double_format="&floatformat_ieee_double_big"
> ;;
> +m68*-*-*)
> + gdb_host_float_format="&floatformat_ieee_single_big"
> + gdb_host_double_format="&floatformat_ieee_double_big"
> + gdb_host_long_double_format="&floatformat_m68881_ext"
> + ;;
> *)
> gdb_host_float_format=0
> gdb_host_double_format=0
>
> Andreas.

Oops, I had that in a working draft but it got lost somewhere.

Andrew