From 1233298563ffb1d2b72a7caecd0c6c4e275100eb Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 19 Apr 2008 08:29:17 +0000
Subject: Compilo C, preprocesseur, assembleur sont determines par configure et
 mis dans Makefile.config

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@622 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/c/Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'test/c')

diff --git a/test/c/Makefile b/test/c/Makefile
index 43b7b15..c6cd928 100644
--- a/test/c/Makefile
+++ b/test/c/Makefile
@@ -1,10 +1,11 @@
+include ../../Makefile.config
+
 CCOMP=../../ccomp
 CCOMPFLAGS=-stdlib ../../runtime -dclight -dasm
 
-CC=gcc -arch ppc
 CFLAGS=-O1 -Wall
 
-LIBS=
+LIBS=$(LIBMATH)
 
 TIME=xtime -o /dev/null -mintime 1.0     # Xavier's hack
 #TIME=time >/dev/null                    # Otherwise
-- 
cgit v1.2.3