From ed48745ff6040f4e4ff97e04f0f6bdf214efe64f Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Tue, 21 Dec 2021 23:13:52 +0100 Subject: fix configure for kvx --- configure | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index 3da00fb3..e0b1ea7d 100755 --- a/configure +++ b/configure @@ -821,7 +821,8 @@ SIMU=kvx-cluster -- BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.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\\ + Asmblockdeps.v DecBoolOps.v Chunks.v Peephole.v\\ + FPDivision32.v ExtValues.v ExtFloats.v\\ AbstractBasicBlocksDef.v SeqSimuTheory.v ImpSimuTest.v Parallelizability.v EOF fi -- cgit