diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-08 09:22:25 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-08 09:23:05 +0200 |
| commit | ea6cb13f2fba0a652e94999d421054883f4b7ad2 (patch) | |
| tree | a60f204578524ad76bbdaed1bca8ef44fc826e64 /test/monniaux/rules.mk | |
| parent | 5b8b1310a213b06bd87a072db5f242a3d683d0d8 (diff) | |
| download | compcert-kvx-ea6cb13f2fba0a652e94999d421054883f4b7ad2.tar.gz compcert-kvx-ea6cb13f2fba0a652e94999d421054883f4b7ad2.zip | |
kvx-cos-gcc
Diffstat (limited to 'test/monniaux/rules.mk')
| -rw-r--r-- | test/monniaux/rules.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index f0db6afa..c0594ef9 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -24,12 +24,12 @@ ALL_GCCFLAGS+=$(ALL_CFLAGS) -std=c99 -Wextra -Werror=implicit ALL_CCOMPFLAGS+=$(ALL_CFLAGS) # The compilers -KVX_CC?=k1-cos-gcc +KVX_CC?=kvx-cos-gcc KVX_CCOMP?=ccomp # Command to execute -#EXECUTE_CYCLES?=timeout --signal=SIGTERM 3m k1-cluster --syscall=libstd_scalls.so --cycle-based -- -EXECUTE_CYCLES?=k1-cluster --syscall=libstd_scalls.so --cycle-based -- +#EXECUTE_CYCLES?=timeout --signal=SIGTERM 3m kvx-cluster --syscall=libstd_scalls.so --cycle-based -- +EXECUTE_CYCLES?=kvx-cluster --syscall=libstd_scalls.so --cycle-based -- # You can define up to GCC4FLAGS and CCOMP4FLAGS GCC0FLAGS?=$(ALL_GCCFLAGS) -O0 |