From a19cfffb026e8d0e26aeb366cdc9d76a04f459b6 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Fri, 11 Jan 2019 17:32:20 +0100
Subject: Adding Mem as a possible location for accesses

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 4eebaa37..f2a18d3f 100644
--- a/Makefile
+++ b/Makefile
@@ -140,6 +140,7 @@ all:
 	$(MAKE) proof
 	$(MAKE) extraction
 	$(MAKE) ccomp
+	$(MAKE) ccomp.byte
 ifeq ($(HAS_RUNTIME_LIB),true)
 	$(MAKE) runtime
 endif
-- 
cgit