1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index d1880167..fd18d784 100755
--- a/configure
+++ b/configure
@@ -806,7 +806,7 @@ ARCHDIRS=$arch $arch/lib $arch/abstractbb $arch/abstractbb/Impure
 BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v\\
     Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v Asmvliw.v\\
     ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v\\
-    Asmblockdeps.v\\
+    Asmblockdeps.v Chunks.v Peephole.v ExtValues.v\\
     AbstractBasicBlocksDef.v DepTreeTheory.v ImpDep.v Parallelizability.v\\
     ImpConfig.v ImpCore.v ImpExtern.v ImpHCons.v ImpIO.v ImpLoops.v ImpMonads.v ImpPrelude.v
 EOF