diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-09-20 15:37:02 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-09-20 15:37:02 +0200 |
commit | 50e5009c5a3a2f7515bab08a3e9475e10c5f275d (patch) | |
tree | 70346a8969f497a03f2b67b22368c10cdeb9274f | |
parent | 1801685f8352b7a120d87d5b529d290728129529 (diff) | |
download | compcert-kvx-50e5009c5a3a2f7515bab08a3e9475e10c5f275d.tar.gz compcert-kvx-50e5009c5a3a2f7515bab08a3e9475e10c5f275d.zip |
Adding SIMU=k1-cluster -- in configure
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -818,6 +818,7 @@ cat >> Makefile.config <<EOF ARCHDIRS=$arch $arch/lib $arch/abstractbb $arch/abstractbb/Impure EXECUTE=k1-cluster --syscall=libstd_scalls.so -- CFLAGS= -D __K1C_COS__ +SIMU=k1-cluster -- BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v\\ Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v Asmvliw.v\\ ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v\\ |