fix configure for aarch64_block

1 files changed, 6 insertions, 2 deletions

diff --git a/configure b/configure
index be746578..9d7def72 100755
--- a/configure
+++ b/configure
@@ -696,6 +696,9 @@ echo "-R lib compcert.lib \
 -R cparser compcert.cparser \
 -R MenhirLib compcert.MenhirLib" > _CoqProject
 case $arch in
+    aarch64)
+        echo "-R kvx compcert.kvx" >> _CoqProject
+        ;;
     x86)
         echo "-R x86_${bitsize} compcert.x86_${bitsize}" >> _CoqProject
         ;;
@@ -841,9 +844,10 @@ fi
 if [ "$arch" = "aarch64" ]; then
 cat >> Makefile.config <<EOF
 ARCHDIRS=$arch kvx/lib kvx/abstractbb kvx/abstractbb/Impure
-BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v OptionMonad.v IterList.v PseudoAsmblock.v PseudoAsmblockproof.v ForwardSimulationBlock.v \\
+BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v OptionMonad.v IterList.v PseudoAsmblock.v PseudoAsmblockproof.v ForwardSimulationBlock.v\\
     AbstractBasicBlocksDef.v SeqSimuTheory.v ImpSimuTest.v Parallelizability.v\\
-    ImpConfig.v ImpCore.v ImpExtern.v ImpHCons.v ImpIO.v ImpLoops.v ImpMonads.v ImpPrelude.v
+    ImpConfig.v ImpCore.v ImpExtern.v ImpHCons.v ImpIO.v ImpLoops.v ImpMonads.v ImpPrelude.v\\
+    Asmgenproof0.v Asmgenproof1.v Asmgenproof.v # TODO: CHANGE THIS
 EOF
 fi