aboutsummaryrefslogtreecommitdiffstats
path: root/runtime/Makefile
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-03-19 11:57:07 +0100
committerCyril SIX <cyril.six@kalray.eu>2019-03-19 11:57:07 +0100
commitd3ade3a4489dbbe3914e066374c37e6d44377a05 (patch)
tree7dfe1f73ac53724539105e7c78debfe0456108e9 /runtime/Makefile
parent23fb9970915ab586a3c5c3a55c5d3ec372604f7b (diff)
downloadcompcert-kvx-d3ade3a4489dbbe3914e066374c37e6d44377a05.tar.gz
compcert-kvx-d3ade3a4489dbbe3914e066374c37e6d44377a05.zip
Added i64_shl and i64_shr to the runtime Makefile, needed by i64_dtos
Diffstat (limited to 'runtime/Makefile')
-rw-r--r--runtime/Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/runtime/Makefile b/runtime/Makefile
index f58d4b6a..6be85728 100644
--- a/runtime/Makefile
+++ b/runtime/Makefile
@@ -24,7 +24,8 @@ else ifeq ($(ARCH),powerpc64)
OBJS=i64_dtou.o i64_stof.o i64_utod.o i64_utof.o vararg.o
else ifeq ($(ARCH),mppa_k1c)
OBJS=i64_umod.o i64_udiv.o i64_udivmod.o i64_sdiv.o i64_smod.o vararg.o\
- i64_dtos.o i64_dtou.o i64_utod.o i64_utof.o i64_stod.o i64_stof.o
+ i64_dtos.o i64_dtou.o i64_utod.o i64_utof.o i64_stod.o i64_stof.o\
+ i64_shl.o i64_shr.o
# Missing: i64_utod.o i64_utof.o i64_stod.o i64_stof.o
DOMAKE:=$(shell (cd mppa_k1c && make))
else