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 From 071d3fdf1f864c0395e95a8134f319cc9ac0372e Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 10 Jan 2022 13:56:50 +0100 Subject: add FPDivision64 --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index df031c1e..d71b4120 100755 --- a/configure +++ b/configure @@ -823,7 +823,7 @@ 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\\ - FPDivision32.v ExtValues.v ExtFloats.v\\ + FPDivision32.v FPDivision64.v ExtValues.v ExtFloats.v\\ AbstractBasicBlocksDef.v SeqSimuTheory.v ImpSimuTest.v Parallelizability.v EOF fi -- cgit