From d5c95e0799e3b0541b07760178e68a1e72ee1b24 Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Sun, 21 Jun 2020 08:17:08 +0200
Subject: [WIP: Coq compilation broken] Stub for Asmgen

---
 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index 339c9bce..a7c9df9d 100755
--- a/configure
+++ b/configure
@@ -847,8 +847,8 @@ 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\\
     AbstractBasicBlocksDef.v SeqSimuTheory.v ImpSimuTest.v Parallelizability.v\\
     ImpConfig.v ImpCore.v ImpExtern.v ImpHCons.v ImpIO.v ImpLoops.v ImpMonads.v ImpPrelude.v\\
-    Asmblock.v\\
-    Asmgenproof0.v Asmgenproof1.v Asmgenproof.v # TODO: CHANGE THIS
+    Asmblock.v Asmblockgen.v\\
+    Asmgenproof.v # TODO: CHANGE THIS
 EOF
 fi
 
-- 
cgit