diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-01-07 11:15:16 +0100 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-01-07 11:15:16 +0100 |
commit | ab7882034042826e3bd7b398fc046452bf685716 (patch) | |
tree | eb7fc79be53f37a9994001d3d5f41c66a5da285e /configure | |
parent | e7fa1950201c72d318fdd1eeffc545facb179ab8 (diff) | |
download | compcert-kvx-ab7882034042826e3bd7b398fc046452bf685716.tar.gz compcert-kvx-ab7882034042826e3bd7b398fc046452bf685716.zip |
cleaning
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -834,7 +834,7 @@ ARCHDIRS=$arch EXECUTE=kvx-cluster --syscall=libstd_scalls.so -- CFLAGS= -D __KVX_COS__ SIMU=kvx-cluster -- -BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v OptionMonad.v IterList.v PseudoAsmblock.v PseudoAsmblockproof.v\\ +BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v OptionMonad.v IterList.v\\ Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v Asmvliw.v Asmblockprops.v\\ ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v\\ Asmblockdeps.v DecBoolOps.v Chunks.v Peephole.v ExtValues.v ExtFloats.v\\ |