aboutsummaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-04-14 15:15:51 +0200
committerBernhard Schommer <bernhardschommer@gmail.com>2015-04-14 15:15:51 +0200
commitb597ce896a8a9cd7c3ed028a34e0612229d1a36a (patch)
tree92e3df204d3e27d6b4c0ac56c3f7b292a4143d01 /configure
parent0ae69bc62cbe50e1fb426c4816aef689c359c75a (diff)
parent1e19ffdc01a94b485b61b824ce2fa9e440e36ae7 (diff)
downloadcompcert-b597ce896a8a9cd7c3ed028a34e0612229d1a36a.tar.gz
compcert-b597ce896a8a9cd7c3ed028a34e0612229d1a36a.zip
Merge branch 'master' into dwarf
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure12
1 files changed, 6 insertions, 6 deletions
diff --git a/configure b/configure
index ade46290..ffc1d0d3 100755
--- a/configure
+++ b/configure
@@ -95,7 +95,7 @@ case "$target" in
esac
system="linux"
cc="${toolprefix}gcc"
- cprepro="${toolprefix}gcc -U__GNUC__ -E"
+ cprepro="${toolprefix}gcc -std=c99 -U__GNUC__ -E"
casm="${toolprefix}gcc -c"
casmruntime="${toolprefix}gcc -c -Wa,-mregnames"
clinker="${toolprefix}gcc"
@@ -140,7 +140,7 @@ case "$target" in
struct_return="int1-4"
system="linux"
cc="${toolprefix}gcc"
- cprepro="${toolprefix}gcc -U__GNUC__ '-D__REDIRECT(name,proto,alias)=name proto' '-D__REDIRECT_NTH(name,proto,alias)=name proto' -E"
+ cprepro="${toolprefix}gcc -std=c99 -U__GNUC__ '-D__REDIRECT(name,proto,alias)=name proto' '-D__REDIRECT_NTH(name,proto,alias)=name proto' -E"
casm="${toolprefix}gcc -c"
clinker="${toolprefix}gcc"
libmath="-lm";;
@@ -152,7 +152,7 @@ case "$target" in
struct_return="ref"
system="linux"
cc="${toolprefix}gcc -m32"
- cprepro="${toolprefix}gcc -m32 -U__GNUC__ -E"
+ cprepro="${toolprefix}gcc -std=c99 -m32 -U__GNUC__ -E"
casm="${toolprefix}gcc -m32 -c"
clinker="${toolprefix}gcc -m32"
libmath="-lm";;
@@ -164,7 +164,7 @@ case "$target" in
struct_return="int1248" # to check!
system="bsd"
cc="${toolprefix}gcc -m32"
- cprepro="${toolprefix}gcc -m32 -U__GNUC__ -E"
+ cprepro="${toolprefix}gcc -std=c99 -m32 -U__GNUC__ -E"
casm="${toolprefix}gcc -m32 -c"
clinker="${toolprefix}gcc -m32"
libmath="-lm";;
@@ -176,7 +176,7 @@ case "$target" in
struct_return="int1248"
system="macosx"
cc="${toolprefix}gcc -arch i386"
- cprepro="${toolprefix}gcc -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' -E"
+ cprepro="${toolprefix}gcc -std=c99 -arch i386 -U__GNUC__ -U__clang__ -U__BLOCKS__ '-D__attribute__(x)=' '-D__asm(x)=' -E"
casm="${toolprefix}gcc -arch i386 -c"
case `uname -r` in
[1-9].*|10.*|11.*) # up to MacOS 10.7 included
@@ -193,7 +193,7 @@ case "$target" in
struct_return="ref"
system="cygwin"
cc="${toolprefix}gcc -m32"
- cprepro="${toolprefix}gcc -m32 -U__GNUC__ -E"
+ cprepro="${toolprefix}gcc -std=c99 -m32 -U__GNUC__ -E"
casm="${toolprefix}gcc -m32 -c"
clinker="${toolprefix}gcc -m32"
libmath="-lm";;