From bd85aba84475dd956af21c461c44a584958099d1 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sat, 14 Jul 2012 08:05:36 +0000
Subject: Support for indirect symbols under MacOS X (final). Remove stdio hack
 in runtime/

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

(limited to 'runtime/Makefile')

diff --git a/runtime/Makefile b/runtime/Makefile
index ef8e21b2..c128ba24 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -1,11 +1,11 @@
 include ../Makefile.config
 
 CFLAGS=-O1 -g -Wall
-OBJS=stdio.o
+INCLUDES=
+OBJS=
 LIB=libcompcert.a
-INCLUDES=stdio.h
 
-ifeq ($(strip $(NEED_STDLIB_WRAPPER)),true)
+ifeq ($(strip $(HAS_RUNTIME_LIB)),true)
 all: $(LIB) $(INCLUDES)
 else
 all:
@@ -18,7 +18,7 @@ $(LIB): $(OBJS)
 clean:
 	rm -f *.o $(LIB)
 
-ifeq ($(strip $(NEED_STDLIB_WRAPPER)),true)
+ifeq ($(strip $(HAS_RUNTIME_LIB)),true)
 install:
 	install -d $(LIBDIR)
 	install -c $(LIB) $(INCLUDES) $(LIBDIR)
-- 
cgit