diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-02-12 13:15:31 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-02-12 13:15:31 +0100 |
commit | 882f1a1875089298937abf4ef854b221cab4eb8e (patch) | |
tree | f452845baaf8ff59fff813dd48eac05f8d4990b5 /configure | |
parent | 98a115dece106f5036452b0c0bac04ad4a6e047e (diff) | |
parent | 337c490d12c437dcbb5941e204ec1b1c4efa992b (diff) | |
download | compcert-kvx-882f1a1875089298937abf4ef854b221cab4eb8e.tar.gz compcert-kvx-882f1a1875089298937abf4ef854b221cab4eb8e.zip |
Merge remote-tracking branch 'origin/kvx-work' into kvx_fp_division
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -821,6 +821,7 @@ CFLAGS= -D __KVX_COS__ SIMU=kvx-cluster -- BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v\\ Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v Asmvliw.v Asmblockprops.v\\ + FPExtra.v \\ ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v\\ Asmblockdeps.v DecBoolOps.v Chunks.v Peephole.v\\ FPDivision32.v FPDivision64.v ExtValues.v ExtFloats.v\\ |