From f8ae73357fd7650bc2409b9eddb5816d4025747e Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Tue, 5 Mar 2019 12:27:33 +0100
Subject: compilation of ImpIOOracles

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

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index 3d54f61f..d6a94d2e 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 mppa_k1c/unittest
+  exportclight debug mppa_k1c/unittest mppa_k1c/abstractbb/Impure/ocaml
 
 INCLUDES=$(patsubst %,-I %, $(DIRS))
 
-- 
cgit