diff options
author | Dan Johnston <dan.e.johnston@gmail.com> | 2020-01-14 18:17:15 (GMT) |
---|---|---|
committer | Brad King <brad.king@kitware.com> | 2020-01-16 15:32:25 (GMT) |
commit | 97c124e30f530f64fafdc2b3a9decd1bf31bcf9c (patch) | |
tree | fa51db1fb364e307b3a46ff08a9c3ed4feece622 /Modules | |
parent | ebd0b16ddbfc64d627aae7acb991aefa7179fa8b (diff) | |
download | CMake-97c124e30f530f64fafdc2b3a9decd1bf31bcf9c.zip CMake-97c124e30f530f64fafdc2b3a9decd1bf31bcf9c.tar.gz CMake-97c124e30f530f64fafdc2b3a9decd1bf31bcf9c.tar.bz2 |
Ninja: Add a separate job pool for PCH creation
Add a `JOB_POOL_PRECOMPILE_HEADER` target property to specify the pool
name, and its associated `CMAKE_JOB_POOL_PRECOMPILE_HEADER` variable.
Fixes: #20217
Diffstat (limited to 'Modules')
-rw-r--r-- | Modules/Platform/Windows-PGI.cmake | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Modules/Platform/Windows-PGI.cmake b/Modules/Platform/Windows-PGI.cmake index ad77e8a..8166240 100644 --- a/Modules/Platform/Windows-PGI.cmake +++ b/Modules/Platform/Windows-PGI.cmake @@ -9,9 +9,10 @@ endif() set(__WINDOWS_COMPILER_PGI 1) # PGI on Windows doesn't support parallel compile processes -if(NOT DEFINED CMAKE_JOB_POOL_LINK OR NOT DEFINED CMAKE_JOB_POOL_COMPILE) +if(NOT DEFINED CMAKE_JOB_POOL_LINK OR NOT DEFINED CMAKE_JOB_POOL_COMPILE OR NOT DEFINED CMAKE_JOB_POOL_PRECOMPILE_HEADER) set(CMAKE_JOB_POOL_LINK PGITaskPool) set(CMAKE_JOB_POOL_COMPILE PGITaskPool) + set(CMAKE_JOB_POOL_PRECOMPILE_HEADER PGITaskPool) get_property(_pgijp GLOBAL PROPERTY JOB_POOLS) if(NOT _pgijp MATCHES "PGITaskPool=") set_property(GLOBAL APPEND PROPERTY JOB_POOLS PGITaskPool=1) |