From 8c1e56414da2326711efdda18fde7578cc78a373 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Mon, 25 May 2020 11:11:06 +0200
Subject: Adding stub RTLpathLivegenaux.ml

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

(limited to 'Makefile.extr')

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