blob: a1bf2fc6cc3bc1f851bdc52558dc26da7156398c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
?RCS: $Id: Alpha_mieee.U 167 2013-05-08 17:58:00Z rmanfredi $
?RCS:
?RCS: Copyright (c) 2006, Christian Biere
?RCS:
?RCS: You may redistribute only under the terms of the Artistic License,
?RCS: as specified in the README file that comes with the distribution.
?RCS: You may reuse parts of this distribution only within the terms of
?RCS: that same Artistic License; a copy of which may be found at the root
?RCS: of the source tree for dist 4.0.
?RCS:
?MAKE:Alpha_mieee: Trylink cat ccflags gccversion
?MAKE: -pick add $@ %<
?T:flag result saved_ccflags
?LINT:change ccflags
: check whether -mieee should be used
flag='-mieee'
case "$gccversion" in
'');;
*)
$cat >try.c <<EOC
int main(void)
{
#if !(defined(__GNUC__) && (defined(_alpha) || defined(__alpha__)))
switch (sizeof(int[-23])) { case 1: case 1: }
#endif
return 0;
}
EOC
saved_ccflags=$ccflags
ccflags="$flag $ccflags"
cyn="whether '$flag' should be used" >&4
result=''
set result
eval $trylink
case "$result" in
"$define") ;;
*) ccflags=$saved_ccflags;;
esac
;;
esac
|