diff options
author | Manoj Srivastava <srivasta@golden-gryphon.com> | 2014-04-27 18:05:39 -0700 |
---|---|---|
committer | Manoj Srivastava <srivasta@golden-gryphon.com> | 2014-04-27 18:05:39 -0700 |
commit | 7d4c02d5c9108aa413fbb0ffa1dc8a39bc5f54a1 (patch) | |
tree | 2abb9ad01d397bc1e208f57f528c1ec529761392 /mcon/U/GCC_pipe.U | |
parent | 5c913c35c09a82eead2c07534baa709a5dead3e7 (diff) | |
parent | 8f5e5726134ce5b4bd436b16f367796d851df553 (diff) |
Merge branch 'upstream'
Signed-off-by: Manoj Srivastava <srivasta@golden-gryphon.com>
Conflicts:
jmake/jmake.man
Diffstat (limited to 'mcon/U/GCC_pipe.U')
-rw-r--r-- | mcon/U/GCC_pipe.U | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/mcon/U/GCC_pipe.U b/mcon/U/GCC_pipe.U new file mode 100644 index 0000000..a7d0a25 --- /dev/null +++ b/mcon/U/GCC_pipe.U @@ -0,0 +1,65 @@ +?RCS: $Id: GCC_pipe.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:GCC_pipe: Trylink cat +cc ccflags gccversion optimize +?MAKE: -pick add $@ %< +?T:flag result saved_ccflags +?LINT:change ccflags +: check whether -pipe should be used +flag='-pipe' +case "$gccversion" in +'');; +*) + case "$ccflags $optimize" in + *-save-temps*);; + *-pipe*);; + *) + $cat >try.c <<'EOC' +int main(void) +{ + return 0; +} +EOC + saved_ccflags=$ccflags + ccflags="$flag $ccflags" + + result='' + cyn="whether '$flag' is accepted by $cc" >&4 + set result + eval $trylink + + case "$result" in + "$define") + $cat >try.c <<EOC +main("This is not C") +{ + (. || + switch (**1) { case 1: case 1: } +} +EOC +?X: trylink could "Whoa there" if we do not reset this variable + result='' + set result + eval $trylink + + case "$result" in + "$define") + echo "However with $flag the compiler seems to see no code." >&4 + ccflags=$saved_ccflags + ;; + esac + ;; + *) ccflags=$saved_ccflags;; + esac + ;; + esac + ;; +esac + |