From 754286dc6d8953a2bd032ac8cac78aa2db0936c9 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Tue, 13 Jul 2021 11:46:08 +0200
Subject: [PATCH] fix: compile flags for libleanruntime.bc

---
 src/runtime/CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

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