From 06c55ab8fa4c0bf59479faf03d30a51c780da36e Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 9 Mar 2011 09:43:17 +0000
Subject: Treat "char" as unsigned OR signed depending on the configuration.
 Fixed infinite expansion of some recursive struct type where recursion goes
 through a typeded.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1596 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 configure | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index 5744c54..8f8c829 100755
--- a/configure
+++ b/configure
@@ -70,6 +70,7 @@ case "$target" in
     arch="powerpc"
     variant="macosx"
     system="macosx"
+    signed_char="false"
     cc="gcc -arch ppc"
     cprepro="gcc -arch ppc -U__GNUC__ -U__BLOCKS__ -E"
     casm="gcc -arch ppc -c"
@@ -80,6 +81,7 @@ case "$target" in
     arch="powerpc"
     variant="eabi"
     system="linux"
+    signed_char="false"
     cc="gcc"
     cprepro="gcc -U__GNUC__ -E"
     casm="gcc -c"
@@ -90,6 +92,7 @@ case "$target" in
     arch="arm"
     variant="linux"
     system="linux"
+    signed_char="false"
     cc="gcc"
     cprepro="gcc -U__GNUC__ -E"
     casm="gcc -c"
@@ -100,6 +103,7 @@ case "$target" in
     arch="ia32"
     variant="standard"
     system="linux"
+    signed_char="true"
     cc="gcc -m32"
     cprepro="gcc -m32 -U__GNUC__ -E"
     casm="gcc -m32 -c"
@@ -110,6 +114,7 @@ case "$target" in
     arch="ia32"
     variant="standard"
     system="bsd"
+    signed_char="true"
     cc="gcc -m32"
     cprepro="gcc -m32 -U__GNUC__ -E"
     casm="gcc -m32 -c"
@@ -120,6 +125,7 @@ case "$target" in
     arch="ia32"
     variant="standard"
     system="macosx"
+    signed_char="true"
     cc="gcc -arch i386"
     cprepro="gcc -arch i386 -U__GNUC__ -U__BLOCKS__ -E"
     casm="gcc -arch i386 -c"
@@ -130,6 +136,7 @@ case "$target" in
     arch="ia32"
     variant="standard"
     system="cygwin"
+    signed_char="true"
     cc="gcc -m32"
     cprepro="gcc -m32 -U__GNUC__ -E"
     casm="gcc -m32 -c"
@@ -162,6 +169,7 @@ cat >> Makefile.config <<EOF
 ARCH=$arch
 VARIANT=$variant
 SYSTEM=$system
+SIGNED_CHAR=$signed_char
 CC=$cc
 CPREPRO=$cprepro
 CASM=$casm
@@ -199,6 +207,11 @@ VARIANT=
 # SYSTEM=cygwin
 SYSTEM=
 
+# Is the "char" type signed?
+#SIGNED_CHAR=false
+#SIGNED_CHAR=true
+SIGNED_CHAR=
+
 # C compiler for compiling library files
 CC=gcc
 
@@ -242,6 +255,7 @@ CompCert configuration:
     Target architecture........... $arch
     Application binary interface.. $variant
     OS and development env........ $system
+    "char" type is signed?........ $signed_char
     C compiler.................... $cc
     C preprocessor................ $cprepro
     Assembler..................... $casm
-- 
cgit v1.2.3