diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-02-10 18:30:07 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-02-10 18:30:07 +0100 |
| commit | b748b38c8b3a998f018477d7375ae16997318769 (patch) | |
| tree | 2037ee3f9382b4a69f0ca26691c213537593fcd4 /configure | |
| parent | aec490a064af1cdbcc8ac70a9b5a2c882bea6b55 (diff) | |
| download | compcert-kvx-b748b38c8b3a998f018477d7375ae16997318769.tar.gz compcert-kvx-b748b38c8b3a998f018477d7375ae16997318769.zip | |
Removing from Asmblockgenproof0 architecture specific definitions
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -845,7 +845,7 @@ 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\\ + 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\\ AbstractBasicBlocksDef.v SeqSimuTheory.v ImpSimuTest.v Parallelizability.v\\ |