diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-27 18:02:33 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-27 18:02:33 +0100 |
| commit | f50d5b2e7d689a0033943fca270d322b33c1a781 (patch) | |
| tree | d6c5747ed7ff2ae2ceb0f2ae430b43ab576f351c /runtime | |
| parent | b09dea1ebfa5358e4d866e03e5a024c968c6a0b8 (diff) | |
| download | compcert-kvx-f50d5b2e7d689a0033943fca270d322b33c1a781.tar.gz compcert-kvx-f50d5b2e7d689a0033943fca270d322b33c1a781.zip | |
Float conversion fixes + some more conversions
Diffstat (limited to 'runtime')
| -rw-r--r-- | runtime/Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/runtime/Makefile b/runtime/Makefile index 66ec6fec..f58d4b6a 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -23,7 +23,9 @@ 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 vararg.o +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 +# Missing: i64_utod.o i64_utof.o i64_stod.o i64_stof.o DOMAKE:=$(shell (cd mppa_k1c && make)) else OBJS=i64_dtos.o i64_dtou.o i64_sar.o i64_sdiv.o i64_shl.o \ @@ -66,7 +68,7 @@ $(LIB): $(OBJS) ../ccomp -O2 -S -o $*.s -I./c c/$*.c sed -i -e 's/i64_/__compcert_i64_/g' $*.s $(CASMRUNTIME) -o $*.o $*.s - @rm -f $*.s + @rm $*.s clean:: rm -f *.o $(LIB) *.tmp?.s |