Resolution d'un probleme (cf. big endian), et

mise a jour des Makefile.



git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@122 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

11 files changed, 12 insertions, 20 deletions

diff --git a/caml/Main2.ml b/caml/Main2.ml
index adb74396..88f5b72d 100644
--- a/caml/Main2.ml
+++ b/caml/Main2.ml
@@ -47,7 +47,7 @@ let save_csyntax = ref false
 let preprocess file =
   let temp = Filename.temp_file "compcert" ".i" in
   let cmd =
-    sprintf "gcc %s -D__COMPCERT__ -D__ppc__ -E %s > %s"
+    sprintf "gcc -arch ppc %s -D__COMPCERT__ -E %s > %s"
       (String.concat " " (List.rev !prepro_options))
       file
       temp in
diff --git a/test/ccured_olden/bh/Makefile b/test/ccured_olden/bh/Makefile
index bd281429..d7ee3f83 100644
--- a/test/ccured_olden/bh/Makefile
+++ b/test/ccured_olden/bh/Makefile
@@ -16,7 +16,7 @@ CFLAGS = -DDOUBLEPREC -O3
 LDFLAGS = -O3
 
 # CompCert
-CCOMP=../../../../ccomp
+CCOMP=../../../ccomp
 CCOMPFLAGS=-dump-c
 
 CC=gcc -arch ppc                         # MacOS X
@@ -81,4 +81,4 @@ getparam.compcert: getparam.c stdinc.h
 	$(CCOMP) $(CCOMPFLAGS) getparam.c
 
 clean: 
-	rm -f *.o *.lib *.exe *.obj *~ *cil.c *_comb.c *infer.c *cured.c *.i *cured*optim.c
\ No newline at end of file
+	rm -f *.o *.lib *.exe *.obj *~ *cil.c *_comb.c *infer.c *cured.c *.i *cured*optim.c
diff --git a/test/ccured_olden/bisort/Makefile b/test/ccured_olden/bisort/Makefile
index b620fafb..b030ced2 100644
--- a/test/ccured_olden/bisort/Makefile
+++ b/test/ccured_olden/bisort/Makefile
@@ -19,7 +19,7 @@ LIBPATH		=
 else
 CC		= gcc -arch ppc          # MacOS X
 #CC=gcc                                  # other systems
-CCOMP=../../../../ccomp
+CCOMP=../../../ccomp
 CCOMPFLAGS=-dump-c
 
 SRC		= .c
diff --git a/test/ccured_olden/em3d/Makefile b/test/ccured_olden/em3d/Makefile
index b7e1d60c..aa0de0af 100644
--- a/test/ccured_olden/em3d/Makefile
+++ b/test/ccured_olden/em3d/Makefile
@@ -8,7 +8,7 @@ PROGS		= main em3d make_graph util args ssplain
 OLDENHOME	= /tmp/olden
 
 CC		= gcc -arch ppc
-CCOMP		= ../../../../ccomp
+CCOMP		= ../../../ccomp
 CCOMPFLAGS=-dump-c
 
 SRC		= .c
diff --git a/test/ccured_olden/health/Makefile b/test/ccured_olden/health/Makefile
index d9c5c767..53c5a9fd 100644
--- a/test/ccured_olden/health/Makefile
+++ b/test/ccured_olden/health/Makefile
@@ -28,7 +28,7 @@ LIBPATH		=
 # ------- gcc ------
 else
 CC		= gcc -arch ppc
-CCOMP=../../../../ccomp
+CCOMP=../../../ccomp
 CCOMPFLAGS=-dump-c
 
 CFLAGS		= -O3
diff --git a/test/ccured_olden/mst/Makefile b/test/ccured_olden/mst/Makefile
index d3f950b6..07e18801 100644
--- a/test/ccured_olden/mst/Makefile
+++ b/test/ccured_olden/mst/Makefile
@@ -19,7 +19,7 @@ LIBS =
 else
 
 CC		= gcc -arch ppc
-CCOMP=../../../../ccomp
+CCOMP=../../../ccomp
 CCOMPFLAGS=-dump-c
 DEF   = -D
 CONLY = -c
diff --git a/test/ccured_olden/newbisort/Makefile b/test/ccured_olden/newbisort/Makefile
index c08a8967..6f4f4662 100644
--- a/test/ccured_olden/newbisort/Makefile
+++ b/test/ccured_olden/newbisort/Makefile
@@ -4,7 +4,7 @@ BINARY		= bisort
 PROGS		= bitonic args ssplain
 
 CC		= gcc -arch ppc
-CCOMP=../../../../ccomp
+CCOMP=../../../ccomp
 CCOMPFLAGS=-dump-c
 
 SRC		= .c
diff --git a/test/ccured_olden/perimeter/Makefile b/test/ccured_olden/perimeter/Makefile
index 47675db0..2e0ad696 100644
--- a/test/ccured_olden/perimeter/Makefile
+++ b/test/ccured_olden/perimeter/Makefile
@@ -46,7 +46,7 @@ EXEOUT = -o
 CFLAGS += -DPLAIN
 CONLY  = -c
 CC     = gcc -arch ppc
-CCOMP=../../../../ccomp
+CCOMP=../../../ccomp
 CCOMPFLAGS=-dump-c
 
 endif
diff --git a/test/ccured_olden/power/Makefile b/test/ccured_olden/power/Makefile
index e982f5b5..9396957b 100644
--- a/test/ccured_olden/power/Makefile
+++ b/test/ccured_olden/power/Makefile
@@ -1,6 +1,6 @@
 
 CC		= gcc -arch ppc
-CCOMP=../../../../ccomp
+CCOMP=../../../ccomp
 CCOMPFLAGS=-dump-c
 
 CFLAGS		= $(EXTRA_CFLAGS)
diff --git a/test/ccured_olden/rapportCompcert_all.txt b/test/ccured_olden/rapportCompcert_all.txt
index 18f07057..25a7e4cf 100644
--- a/test/ccured_olden/rapportCompcert_all.txt
+++ b/test/ccured_olden/rapportCompcert_all.txt
@@ -3,17 +3,9 @@
 
 ../../../../ccomp -dump-c  io.c
 /usr/include/stdio.h:250: Unsupported C feature: integer type specifier
--> int      fclose(FILE *);    ?????
+-> int      fclose(FILE );    ?????
 make: *** [io.compcert] Error 2
 
-../../../../ccomp -dump-c util.c
-In file included from /usr/include/machine/param.h:30,
-                 from /usr/include/sys/param.h:104,
-                 from util.c:17:
-/usr/include/ppc/param.h:111:2: error: #error code not ported to little endian targets yet
-Error during preprocessing.
-make: *** [util.compcert] Error 2
-
 ../../../../ccomp -dump-c getparam.c
 /usr/include/stdio.h:171: Warning: array type of unspecified size
 /usr/include/stdio.h:171: Unsupported C feature: integer type specifier
diff --git a/test/ccured_olden/voronoi/Makefile b/test/ccured_olden/voronoi/Makefile
index 2822178d..f3baec38 100644
--- a/test/ccured_olden/voronoi/Makefile
+++ b/test/ccured_olden/voronoi/Makefile
@@ -17,7 +17,7 @@ LIBS =
 else
 
 CC		= gcc -arch ppc
-CCOMP=../../../../ccomp
+CCOMP=../../../ccomp
 CCOMPFLAGS=-dump-c
 
 DEF   = -D