Brad King
1bdaad7573
ExternalProject: Optionally integrate 'make' job server with INSTALL_COMMAND
...
Add an `INSTALL_JOB_SERVER_AWARE` option to `ExternalProject_Add`.
When using an explicit `INSTALL_COMMAND`, the generated commands
won't use `$(MAKE)` thus failing to connect to the outer make's
job server. Add an option enable explicit job server integration.
This is the install step's equivalent to the build step's
`BUILD_JOB_SERVER_AWARE` option added by commit bc43398e72
(ExternalProject: Enable Make Job Server with Explicit Build Command,
2023-08-09, v3.28.0-rc1~217^2). It is useful when the external
project's installation is driven by its build system. Note that with
Makefile generators, our default install command does use `$(MAKE)` to
connect to the outer make's job server.
Issue: #26398
2024-11-19 10:22:24 -05:00
..
2021-05-09 12:33:16 +10:00
2023-08-15 12:21:30 +00:00
2023-03-02 14:28:26 -05:00
2015-04-22 08:48:52 -04:00
2020-04-20 18:49:17 +02:00
2015-04-22 08:48:52 -04:00
2015-04-22 08:48:52 -04:00
2015-04-22 08:48:52 -04:00
2015-04-22 08:48:52 -04:00
2023-02-01 17:01:38 -05:00
2023-02-11 06:24:22 -05:00
2023-02-01 17:01:38 -05:00
2023-02-11 06:24:22 -05:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2022-08-09 08:27:03 -04:00
2022-08-09 08:27:03 -04:00
2022-08-09 08:27:11 -04:00
2018-06-04 11:37:52 -04:00
2018-06-04 11:37:52 -04:00
2018-06-04 11:37:52 -04:00
2018-06-04 11:37:52 -04:00
2015-04-21 10:50:29 -04:00
2017-12-30 09:35:56 +11:00
2022-05-05 09:01:54 +10:00
2021-01-12 08:50:02 +01:00
2022-02-10 09:20:13 -05:00
2020-05-23 23:41:53 +10:00
2023-08-15 12:21:30 +00:00
2020-08-18 09:16:18 -04:00
2020-08-18 09:16:18 -04:00
2020-08-18 09:16:18 -04:00
2020-08-18 09:16:18 -04:00
2020-09-02 21:40:11 +02:00
2020-08-11 07:25:58 +02:00
2020-08-11 07:25:58 +02:00
2020-08-11 07:25:58 +02:00
2021-05-09 12:33:16 +10:00
2024-11-19 10:22:24 -05:00
2024-11-19 10:22:24 -05:00
2023-03-02 14:28:26 -05:00
2023-03-02 14:28:26 -05:00
2018-12-21 07:52:08 +11:00
2018-12-21 07:52:08 +11:00
2018-12-21 07:52:08 +11:00
2018-12-21 07:52:08 +11:00
2018-12-21 07:52:08 +11:00
2018-12-21 07:52:08 +11:00
2018-12-21 07:52:08 +11:00
2018-12-21 07:52:08 +11:00
2017-09-02 17:53:16 +10:00
2022-02-01 22:31:29 +11:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2022-05-05 09:01:54 +10:00
2020-09-14 10:48:16 -04:00
2021-03-10 09:07:44 +11:00
2020-09-14 10:48:16 -04:00
2023-02-01 17:01:38 -05:00
2020-09-14 10:48:16 -04:00
2021-03-10 09:07:44 +11:00
2020-09-14 10:48:16 -04:00
2015-05-08 09:20:43 -04:00
2024-05-13 20:24:47 +10:00
2015-05-08 09:20:43 -04:00
2020-05-23 23:41:53 +10:00
2020-05-23 23:41:53 +10:00
2024-07-03 10:44:15 -04:00
2022-02-01 22:31:29 +11:00
2022-02-01 22:31:29 +11:00
2024-05-31 18:01:27 +10:00
2015-05-08 09:20:43 -04:00
2024-05-13 20:24:47 +10:00
2015-05-08 09:20:43 -04:00
2015-05-08 09:20:43 -04:00
2024-05-13 20:24:47 +10:00
2015-05-08 09:20:43 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2020-09-14 10:48:16 -04:00
2023-02-01 17:01:38 -05:00
2020-09-14 10:48:16 -04:00
2017-12-07 07:22:02 +11:00
2017-12-07 07:22:02 +11:00
2024-02-28 19:11:29 -05:00
2024-05-13 20:24:47 +10:00
2024-02-28 19:11:29 -05:00
2024-02-28 19:11:29 -05:00
2024-05-13 20:24:47 +10:00
2024-02-28 19:11:29 -05:00
2024-02-28 19:11:29 -05:00
2024-05-13 20:24:47 +10:00
2024-02-28 19:11:29 -05:00
2023-02-11 06:24:22 -05:00
2022-02-03 09:27:35 -05:00
2020-09-18 13:46:45 -04:00
2020-09-18 13:46:45 -04:00