diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-05-21 16:34:36 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-05-21 16:39:48 +0200 |
| commit | 479aacd0254605942a3f48c3b8053af4d07f0f6c (patch) | |
| tree | 7ddbddf078b86a30e693ae35721e08f54a0af11e /runtime/Makefile | |
| parent | b81dbb863781a5f450cad0b01f90f729fb1a2244 (diff) | |
| download | compcert-kvx-479aacd0254605942a3f48c3b8053af4d07f0f6c.tar.gz compcert-kvx-479aacd0254605942a3f48c3b8053af4d07f0f6c.zip | |
MPPA - Added modulo and division 64 bits. Non certified
32 bits version are not yet there.
Right now the code is directly from libgcc, compiled with k1-gcc because
of builtins.
Diffstat (limited to 'runtime/Makefile')
| -rw-r--r-- | runtime/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/runtime/Makefile b/runtime/Makefile index 27ad6e8c..0d130ca2 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -22,6 +22,8 @@ ifeq ($(ARCH),x86_64) OBJS=i64_dtou.o i64_utod.o i64_utof.o vararg.o 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 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 \ @@ -40,6 +42,9 @@ VPATH=$(ARCH) ifeq ($(strip $(HAS_RUNTIME_LIB)),true) all: $(LIB) +ifeq ($(ARCH),mppa_k1c) + (cd mppa_k1c && make) +endif else all: endif |