diff options
Diffstat (limited to 'mcon/U/Alpha_mieee.U')
| -rw-r--r-- | mcon/U/Alpha_mieee.U | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/mcon/U/Alpha_mieee.U b/mcon/U/Alpha_mieee.U new file mode 100644 index 0000000..a1bf2fc --- /dev/null +++ b/mcon/U/Alpha_mieee.U @@ -0,0 +1,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 + |