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

---
 Makefile.extr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index 59cc6c1d..5e328a4c 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -43,7 +43,7 @@ cparser/pre_parser_messages.ml:
 
 DIRS=extraction \
   lib common $(ARCH) backend cfrontend cparser driver \
-  exportclight debug kvx/unittest kvx/abstractbb/Impure/ocaml \
+  exportclight debug kvx/unittest lib/Impure/ocaml \
   kvx/lib
 
 INCLUDES=$(patsubst %,-I %, $(DIRS))
-- 
cgit