From 73729d23ac13275c0d28d23bc1b1f6056104e5d9 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 4 Sep 2006 15:08:29 +0000
Subject: Fusion de la branche "traces": - Ajout de traces d'evenements d'E/S
 dans les semantiques - Ajout constructions switch et allocation dynamique -
 Initialisation des variables globales - Portage Coq 8.1 beta Debut
 d'integration du front-end C: - Traduction Clight -> Csharpminor dans
 cfrontend/ - Modifications de Csharpminor et Globalenvs en consequence.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@72 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/cminor/Makefile | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)

(limited to 'test/cminor/Makefile')

diff --git a/test/cminor/Makefile b/test/cminor/Makefile
index 35d3e074..f9b863ea 100644
--- a/test/cminor/Makefile
+++ b/test/cminor/Makefile
@@ -1,10 +1,11 @@
 CCOMP=../../ccomp
 CPP=cpp -P
 CC=gcc
-CFLAGS=-g
+CFLAGS=-arch ppc -g
+ASFLAGS=-arch ppc
 VPATH=../harness ../lib
 
-PROGS=fib integr qsort fft sha1 aes almabench manyargs
+PROGS=fib integr qsort fft sha1 aes almabench manyargs lists
 
 all_s: $(PROGS:%=%.s)
 
@@ -27,13 +28,13 @@ qsort: qsort.o mainqsort.o
 clean::
 	rm -f qsort
 
-fft: fft.o mainfft.o staticlib.o
-	$(CC) $(CFLAGS) -o fft fft.o mainfft.o staticlib.o -lm
+fft: fft.o mainfft.o
+	$(CC) $(CFLAGS) -o fft fft.o mainfft.o -lm
 clean::
 	rm -f fft
 
-sha1: sha1.o mainsha1.o staticlib.o
-	$(CC) $(CFLAGS) -o sha1 sha1.o mainsha1.o staticlib.o
+sha1: sha1.o mainsha1.o
+	$(CC) $(CFLAGS) -o sha1 sha1.o mainsha1.o
 clean::
 	rm -f sha1 sha1.cm
 
@@ -42,8 +43,8 @@ aes: aes.o mainaes.o
 clean::
 	rm -f aes aes.cm
 
-almabench: almabench.o mainalmabench.o staticlib.o
-	$(CC) $(CFLAGS) -o almabench almabench.o mainalmabench.o staticlib.o -lm
+almabench: almabench.o mainalmabench.o
+	$(CC) $(CFLAGS) -o almabench almabench.o mainalmabench.o -lm
 clean::
 	rm -f almabench almabench.cm
 
@@ -52,6 +53,11 @@ manyargs: manyargs.o mainmanyargs.o
 clean::
 	rm -f manyargs
 
+lists: lists.o mainlists.o
+	$(CC) $(CFLAGS) -o lists lists.o mainlists.o
+clean::
+	rm -f lists
+
 .SUFFIXES:
 
 .SUFFIXES: .cmp .cm .s .o .c .S
-- 
cgit