BROKEN - works for x86, not for k1 anymore

1 files changed, 3 insertions, 0 deletions

diff --git a/configure b/configure
index a116ef25..1d457fc7 100755
--- a/configure
+++ b/configure
@@ -802,6 +802,9 @@ 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
 EOF
 fi