1 ?RCS: $Id: floatsize.U,v 3.0.1.1 1994/10/29 16:17:09 ram Exp $
3 ?RCS: Copyright (c) 1991-1993, Raphael Manfredi
5 ?RCS: You may redistribute only under the terms of the Artistic Licence,
6 ?RCS: as specified in the README file that comes with the distribution.
7 ?RCS: You may reuse parts of this distribution only within the terms of
8 ?RCS: that same Artistic Licence; a copy of which may be found at the root
9 ?RCS: of the source tree for dist 3.0.
11 ?RCS: $Log: floatsize.U,v $
12 ?RCS: Revision 3.0.1.1 1994/10/29 16:17:09 ram
13 ?RCS: patch36: added ?F: line for metalint file checking
15 ?RCS: Revision 3.0 1993/08/18 12:08:09 ram
16 ?RCS: Baseline for dist 3.0 netwide release.
18 ?MAKE:floatsize: cat rm Myread Compile
19 ?MAKE: -pick add $@ %<
21 ?S: This variable contains the value of the FLOATSIZE symbol, which
22 ?S: indicates to the C program how many bytes there are in a float.
25 ?C: This symbol contains the size of a float, so that the C preprocessor
26 ?C: can make decisions based on it.
28 ?H:#define FLOATSIZE $floatsize /**/
31 : check for length of float
35 echo "Checking to see how big your floating point numbers are..." >&4
40 printf("%d\n", sizeof(float));
45 if eval $compile_ok; then
49 echo "(I can't seem to compile the test program. Guessing...)"
50 rp="What is the size of a floating point number (in bytes)?"