我们正在尝试从 Jenkins 中构建一些 Windows 驱动程序（在 Windows 10 Enterprise 上）。为此，我们使用了 Visual Studio 2019 构建工具，安装了 SDK 和 WDK，如下所述：https ://docs.microsoft.com/en-us/windows-hardware/drivers/download-the-wdk
这样做总是会导致以下错误消息：
error MSB8020: The build tools for WindowsKerne
lModeDriver10.0 (Platform Toolset = 'WindowsKernelModeDriver10.0') cannot be found. To build using the WindowsKernelModeDriver10.0 build tools, please install WindowsKerne
lModeDriver10.0 build tools. Alternatively, you may upgrade to the current Visual Studio tools by selecting the Project menu or right-click the solution, and then selecti
ng "Retarget solution".
在安装了 Visual Studio 的 PC 上执行相同操作也可以。
有趣的部分是：使用页面上链接的 .iso 图像，微软声称它将包括 VS2019 构建工具 + SDK + WDK，也可以。
现在我不想使用那个 ISO 文件，因为我们已经在我们的 Jenkins 机器上安装了 Visual Studio 构建工具——用于构建其他 C++ 软件。
是否有任何已知的解决方案可用于扩展现有的构建工具 2019 安装以允许构建 Windows 驱动程序？