THE FIRST EXPLORATION OF PROJECT SPARROWcom/seL4/capdl CapDL I. Background https://sel4.systems/Info/FAQ/proof.pml seL4’s proof toolchain Status0 码力 | 68 页 | 13.14 MB | 1 年前3- C++高性能并行编程与优化 - 课件 - 01 学 C++ 从 CMake 学起\vcpkg integrate install • > .\vcpkg install fmt:x64-windows • > cd .. • > cmake -B build -DCMAKE_TOOLCHAIN_FILE="%CD%/vcpkg/scripts/buildsystems/vcpkg.cmake" 感谢观看！ presents by 彭于斌 个人 GitHub ： https://github0 码力 | 32 页 | 11.40 MB | 1 年前3
- C++高性能并行编程与优化 - 课件 - 16 现代 CMake 模块化项目管理指南find_package(XXX CONFIG REQUIRED) 避免被 CMake 自带的 Find 文件误导找到别的地方（而非 vcpkg 安装的那个）的库。 • 另外注意 vcpkg 需要的 CMAKE_TOOLCHAIN_FILE 如果你用 set 设置，必须在 project 命令前面，并且修改这个变量后要删除 build 目录重新 cmake -B build 一遍才能 生效（否则会在旧的环境里找，找不到0 码力 | 56 页 | 6.87 MB | 1 年前3
共 3 条
- 1