diff --git a/src/runtime/CMakeLists.txt b/src/runtime/CMakeLists.txt index 8735d13235..c0f7fc4032 100644 --- a/src/runtime/CMakeLists.txt +++ b/src/runtime/CMakeLists.txt @@ -7,6 +7,7 @@ add_library(runtime OBJECT ${RUNTIME_OBJS}) add_library(leanruntime ${RUNTIME_OBJS}) if(LLVM) string(REPLACE ";" " " RUNTIME_OBJS_STR "${RUNTIME_OBJS};lean_inlines.c") + string(TOUPPER "${CMAKE_BUILD_TYPE}" uppercase_CMAKE_BUILD_TYPE) add_custom_command( OUTPUT libleanruntime.bc DEPENDS ${RUNTIME_OBJS} lean_inlines.c