From 6e4f49f7b8154d21c2c42f9978e6829d7a22a1de Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 16 Sep 2020 07:52:57 +0200
Subject: starting to move common files

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

(limited to 'configure')

diff --git a/configure b/configure
index 1eff6d1c..8261f9f3 100755
--- a/configure
+++ b/configure
@@ -694,7 +694,8 @@ echo "-R lib compcert.lib \
 -R flocq compcert.flocq \
 -R exportclight compcert.exportclight \
 -R cparser compcert.cparser \
--R MenhirLib compcert.MenhirLib" > _CoqProject
+-R MenhirLib compcert.MenhirLib
+-R Impure lib.Impure" > _CoqProject
 case $arch in
     x86)
         echo "-R x86_${bitsize} compcert.x86_${bitsize}" >> _CoqProject
@@ -840,7 +841,7 @@ fi
 
 if [ "$arch" = "kvx" ]; then
 cat >> Makefile.config <<EOF
-ARCHDIRS=$arch $arch/lib $arch/abstractbb $arch/abstractbb/Impure
+ARCHDIRS=$arch $arch/lib $arch/abstractbb
 EXECUTE=kvx-cluster --syscall=libstd_scalls.so --
 CFLAGS= -D __KVX_COS__
 SIMU=kvx-cluster -- 
-- 
cgit