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