From e0da53b084e29f061c091fab4c68b49bd4f290fd Mon Sep 17 00:00:00 2001
From: Logan Weber <36520469+weberlo@users.noreply.github.com>
Date: Thu, 13 Jun 2019 15:59:26 -0700
Subject: [PATCH] Enable MicroTVM in CMake config (#2)

---
 cmake/config.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cmake/config.cmake b/cmake/config.cmake
index 97173eec04b78..d55724f4c097f 100644
--- a/cmake/config.cmake
+++ b/cmake/config.cmake
@@ -63,7 +63,7 @@ set(USE_VULKAN OFF)
 set(USE_OPENGL OFF)
 
 # Whether enable Micro runtime
-set(USE_MICRO OFF)
+set(USE_MICRO ON)
 
 # Whether to enable SGX runtime
 #