diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-21 15:32:45 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-21 15:32:45 +0200 |
| commit | b0ec7472890babc8c439984d75c14f2b4486416a (patch) | |
| tree | 4cd65ccb63d454204470c58bc81c7fd1ba7e00a7 /runtime/Makefile | |
| parent | 6e331ae1185694e1ca542db00445968c107c26b9 (diff) | |
| download | compcert-kvx-b0ec7472890babc8c439984d75c14f2b4486416a.tar.gz compcert-kvx-b0ec7472890babc8c439984d75c14f2b4486416a.zip | |
new routines for 32-bit division
Diffstat (limited to 'runtime/Makefile')
| -rw-r--r-- | runtime/Makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/runtime/Makefile b/runtime/Makefile index 1258d941..2448279e 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -23,9 +23,8 @@ 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\ - i64_dtos.o i64_dtou.o i64_utod.o i64_utof.o i64_stod.o i64_stof.o\ - i64_shl.o i64_shr.o +OBJS=i64_umod.o i64_udiv.o i64_udivmod.o i64_sdiv.o i64_smod.o i32_divmod.o \ + vararg.o # Missing: i64_utod.o i64_utof.o i64_stod.o i64_stof.o DOMAKE:=$(shell (cd mppa_k1c && make)) else |