Merge 5d7bb10ee5
into f0d4b29edf
This commit is contained in:
commit
ee640dd1b6
1 changed files with 5 additions and 1 deletions
|
@ -96,7 +96,11 @@ if (GGML_CCACHE)
|
|||
|
||||
if (GGML_CCACHE_FOUND)
|
||||
# TODO: should not be set globally
|
||||
set_property(GLOBAL PROPERTY RULE_LAUNCH_COMPILE ccache)
|
||||
if (GGML_SYCL AND WIN32)
|
||||
set_property(GLOBAL PROPERTY RULE_LAUNCH_COMPILE "ccache compiler_type=icl")
|
||||
else ()
|
||||
set_property(GLOBAL PROPERTY RULE_LAUNCH_COMPILE ccache)
|
||||
endif ()
|
||||
set(ENV{CCACHE_SLOPPINESS} time_macros)
|
||||
message(STATUS "ccache found, compilation results will be cached. Disable with GGML_CCACHE=OFF.")
|
||||
else()
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue