From b40e056328e183522b50c68aefdbff057bca29cc Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Sun, 16 Jun 2013 06:56:02 +0000
Subject: Merge of the "princeton" branch: - Define type "block" as "positive"
 instead of "Z". - Strengthen mem_unchanged_on so that the permissions are
 identical,   instead of possibly increasing. - Move mem_unchanged_on from
 Events to Memory.Mem. - Define it in terms of mem_contents rather than in
 terms of Mem.load. - ExportClight: try to name temporaries introduced by
 SimplExpr - SimplExpr: avoid reusing temporaries between different functions,
   instead, thread a single generator through all functions.

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

(limited to 'runtime')

diff --git a/runtime/Makefile b/runtime/Makefile
index 81df4ea..668e365 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -7,7 +7,11 @@ OBJS=i64_dtos.o i64_dtou.o i64_sar.o i64_sdiv.o i64_shl.o \
   i64_udivmod.o i64_udiv.o i64_umod.o i64_utod.o i64_utof.o
 LIB=libcompcert.a
 
+ifeq ($(strip $(HAS_RUNTIME_LIB)),true)
 all: $(LIB) $(INCLUDES)
+else
+all:
+endif
 
 $(LIB): $(OBJS)
 	rm -f $(LIB)
@@ -22,9 +26,13 @@ $(LIB): $(OBJS)
 clean::
 	rm -f *.o $(LIB)
 
+ifeq ($(strip $(HAS_RUNTIME_LIB)),true)
 install:
 	install -d $(LIBDIR)
 	install -c $(LIB) $(INCLUDES) $(LIBDIR)
+else
+install:
+endif
 
 test/test_int64: test/test_int64.c $(LIB)
 	$(CC) -o $@ test/test_int64.c $(LIB)
-- 
cgit v1.2.3