[patch/rfc] Add host's floatformat

Andrew Cagney cagney@gnu.org
Fri Jul 30 13:26:00 GMT 2004


> 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




More information about the Gdb-patches mailing list