From e1d482316c4de30ee7b7d06c0f793d2c43bac5a1 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Fri, 8 Mar 2019 17:09:55 +0100
Subject: Modified test/c/Makefile for CompCert tests (remove all the float
 tests with division)

---
 test/c/Makefile | 9 +++++----
 test/c/aes.c    | 2 +-
 2 files changed, 6 insertions(+), 5 deletions(-)

(limited to 'test/c')

diff --git a/test/c/Makefile b/test/c/Makefile
index 51a8f105..63d1964a 100644
--- a/test/c/Makefile
+++ b/test/c/Makefile
@@ -10,10 +10,11 @@ LIBS=$(LIBMATH)
 TIME=xtime -o /dev/null -mintime 2.0     # Xavier's hack
 #TIME=time >/dev/null                    # Otherwise
 
-PROGS=fib integr qsort fft fftsp fftw sha1 sha3 aes almabench \
-  lists binarytrees fannkuch knucleotide mandelbrot nbody \
-  nsieve nsievebits spectral vmach \
-  bisect chomp perlin siphash24
+PROGS=fib qsort fftw sha1 sha3 aes \
+  lists binarytrees fannkuch \
+  nsieve nsievebits vmach \
+  chomp perlin siphash24
+# FIXME - Omitted tests: integr fft fftsp almabench knucleotide mandelbrot nbody spectral bisect
 
 all: $(PROGS:%=%.compcert)
 
diff --git a/test/c/aes.c b/test/c/aes.c
index 0aa02595..28d51a78 100644
--- a/test/c/aes.c
+++ b/test/c/aes.c
@@ -39,7 +39,7 @@ typedef unsigned int	u32;
 #if defined(__ppc__) || defined(__PPC__) || defined(__ARMEB__)
 #define ARCH_BIG_ENDIAN
 #elif defined(__i386__) || defined(__x86_64__) || defined(__ARMEL__) \
-   || defined(__riscv)
+   || defined(__riscv) || defined(__K1C__)
 #undef ARCH_BIG_ENDIAN
 #else
 #error "unknown endianness"
-- 
cgit