From 470f6402ea49a81a5c861fcce66cb05ebff977c1 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Sat, 12 Sep 2015 19:04:12 +0200
Subject: PowerPC 64 bits: alternate, more efficient implementations of int64
 operations.

---
 runtime/Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'runtime/Makefile')

diff --git a/runtime/Makefile b/runtime/Makefile
index 2fdaa4ec..2fe32881 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -9,6 +9,8 @@ LIB=libcompcert.a
 INCLUDES=include/float.h include/stdarg.h include/stdbool.h \
   include/stddef.h include/varargs.h
 
+VPATH=$(ARCH)/$(MODEL) $(ARCH)
+
 ifeq ($(strip $(HAS_RUNTIME_LIB)),true)
 all: $(LIB)
 else
@@ -19,10 +21,10 @@ $(LIB): $(OBJS)
 	rm -f $(LIB)
 	ar rcs $(LIB) $(OBJS)
 
-%.o: $(ARCH)/%.s
+%.o: %.s
 	$(CASMRUNTIME) -o $@ $^
 
-%.o: $(ARCH)/%.S
+%.o: %.S
 	$(CASMRUNTIME) -DMODEL_$(MODEL) -DABI_$(ABI) -DSYS_$(SYSTEM) -o $@ $^
 
 clean::
-- 
cgit