Added AbstractBasicBlock files to the Coq build process

1 files changed, 6 insertions, 4 deletions

diff --git a/configure b/configure
index 772f7ecb..933086c7 100755
--- a/configure
+++ b/configure
@@ -801,10 +801,12 @@ fi
 
 if [ "$arch" = "mppa_k1c" ]; then
 cat >> Makefile.config <<EOF
-ARCHDIRS=$arch $arch/lib
-BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v\
-    Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v\
-    ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v
+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\\
+    ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.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
 fi