fix ccache cmake args

tum-ei-eda · Sep 26, 2024 · 8708ac6 · 8708ac6
1 parent ed2a03e
commit 8708ac6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/seal5/tools/llvm.py b/seal5/tools/llvm.py
@@ -157,8 +157,8 @@ def build_llvm(
         assert Path(install_dir).parent.is_dir()
         cmake_options["CMAKE_INSTALL_PREFIX"] = str(install_dir)
     if enable_ccache:
-        cmake_options["-DCMAKE_C_COMPILER_LAUNCHER"] = "sccache"  # TODO: choose between sccache/ccache
-        cmake_options["-DCMAKE_CXX_COMPILER_LAUNCHER"] = "sccache"  # TODO: choose between sccache/ccache
+        cmake_options["CMAKE_C_COMPILER_LAUNCHER"] = "sccache"  # TODO: choose between sccache/ccache
+        cmake_options["CMAKE_CXX_COMPILER_LAUNCHER"] = "sccache"  # TODO: choose between sccache/ccache
     cmake_args = utils.get_cmake_args(cmake_options)
     dest.mkdir(exist_ok=True)
     utils.cmake(