From b6bdb4b4924b0934aed24335597a89e49f7cbd61 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 22 Oct 2006 08:14:51 +0000
Subject: Ajout et utilisation de compcert_stdio.h

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

(limited to 'test/c/Makefile')

diff --git a/test/c/Makefile b/test/c/Makefile
index 9f3c5531..16fead48 100644
--- a/test/c/Makefile
+++ b/test/c/Makefile
@@ -1,13 +1,11 @@
 CCOMP=../../ccomp
-CCOMPFLAGS=-dump-c
+CCOMPFLAGS=-dump-c -I../lib
 
-CC=gcc -arch ppc                         # MacOS X
-#CC=gcc                                  # other systems
+CC=gcc -arch ppc
 
 CFLAGS=-O1 -Wall
 
-LIBS=                                    # MacOS X
-#LIBS=-lm                                # other systems
+LIBS=
 
 TIME=xtime -o /dev/null -mintime 1.0     # Xavier's hack
 #TIME=time >/dev/null                    # Otherwise
@@ -23,7 +21,7 @@ all: $(PROGS:%=%.compcert)
 all_gcc: $(PROGS:%=%.gcc)
 
 %.compcert: %.s
-	$(CC) $(CFLAGS) -o $*.compcert $*.s $(LIBS)
+	$(CC) $(CFLAGS) -o $*.compcert $*.s ../lib/libcompcert.a $(LIBS)
 
 %.s: %.c ../../ccomp
 	$(CCOMP) $(CCOMPFLAGS) $*.c
-- 
cgit