diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-20 11:04:07 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-20 11:04:07 +0100 |
commit | 65db9a4a02c30d8dd5ca89b6fe3e4524cd4c29a5 (patch) | |
tree | e2af9dd819aff07144250e1789d88e328f000136 /runtime/Makefile | |
parent | f5074503d24b0974d880a402f1ecef6e7812c70e (diff) | |
download | compcert-kvx-65db9a4a02c30d8dd5ca89b6fe3e4524cd4c29a5.tar.gz compcert-kvx-65db9a4a02c30d8dd5ca89b6fe3e4524cd4c29a5.zip |
Fixed MPPA runtimes not compiling
Diffstat (limited to 'runtime/Makefile')
-rw-r--r-- | runtime/Makefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/runtime/Makefile b/runtime/Makefile index 0d130ca2..30c1fc83 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -24,6 +24,7 @@ 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 +DOMAKE:=$(shell (cd mppa_k1c && make)) else OBJS=i64_dtos.o i64_dtou.o i64_sar.o i64_sdiv.o i64_shl.o \ i64_shr.o i64_smod.o i64_stod.o i64_stof.o \ @@ -42,9 +43,6 @@ VPATH=$(ARCH) ifeq ($(strip $(HAS_RUNTIME_LIB)),true) all: $(LIB) -ifeq ($(ARCH),mppa_k1c) - (cd mppa_k1c && make) -endif else all: endif |