Add microkernel to CMAKE

Jack-Khuu · Jack-Khuu · commit 1f5638599d14 · 2024-10-09T09:32:28.000-07:00
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -14,7 +14,7 @@ add_subdirectory(tokenizer)
 # include et_run executable
 include(runner/et.cmake)
 if(TARGET et_run)
-    target_link_libraries(et_run PUBLIC tokenizer)
+    target_link_libraries(et_run PUBLIC tokenizer microkernels-prod)
 endif()
 
 # include aoti_run executable
