Conan 2.17.0 发布:构建工具链的重大升级与工作空间优化
Conan 作为领先的 C/C++ 包管理器,在最新发布的 2.17.0 版本中带来了多项重要改进,从编译器支持到工作空间管理都有显著提升。本文将深入解析这些新特性及其技术价值。
核心特性解析
编译器支持扩展
本次更新新增了对 gcc 13.4 和 14.3 版本的支持,这意味着开发者可以在更现代的编译器环境中使用 Conan 进行包管理。值得注意的是,工具链现在能够自动检测 C 语言标准,这大大简化了跨平台项目的配置过程。
对于 MSVC 用户,CMakeToolchain 现在会为 Ninja 生成器自动定义 CMAKE_C/CXX_COMPILER 预设,这一改进特别针对 cl-like 编译器,优化了构建流程。
工作空间革命
Conan 2.17.0 对工作空间功能进行了全面重构:
- 术语变更:'editables' 概念已正式更名为更直观的 'packages'
- 目录结构优化:现在支持在项目根目录下使用
conanws文件夹作为工作空间配置的顶级搜索路径 - 灵活性提升:包/产品不再必须位于
workspace文件夹内,解除了项目结构的硬性限制 - 新增
conan workspace clean命令,可清除可编辑包的输出目录
这些改变使得大型项目的模块化管理更加灵活高效。
构建系统增强
Autotools 用户将受益于多项改进:
- Windows 平台下对 LLVM/Clang 的全面支持,包括 clang 和 clang-cl 前端
- 新增
tools.gnu:configure_args配置项,允许向 configure 命令添加额外参数 - 移除了
autotools_exe模板中不必要的LT_INIT宏
CMake 用户则获得了更完善的 CMakeConfigDeps 生成器,现在能正确处理相对路径和链接标志。
开发者体验优化
模板与项目初始化
新增了 header_lib 模板,简化了纯头文件库的创建过程。同时,to_cppstd_flag 和 to_cstd_flag 方法不再使用固定值,提供了更灵活的标准化处理。
缓存管理
缓存系统获得多项增强:
- 新增
conan cache save --no-source选项,避免在存档中包含下载的源代码 conan cache clean和conan cache check-integrity支持--list参数- 为缓存清理操作添加了详细的日志输出
元数据与输出
JSON 输出格式更加丰富:
- 上传操作现在包含 URL 信息
- 远程仓库信息新增
allowed_packages字段 - CycloneDX 1.6 的 authors 字段格式已修正
安全与质量保证
本次更新加强了软件物料清单(SBOM)的合规性检查,现在会验证许可证是否与 SPDX 标准兼容。conan audit 命令也修复了在包目录中找不到某些包时的崩溃问题。
技术细节改进
底层功能也有多项优化:
copy()函数现在能够正确处理指向目录的符号链接- 配置安装(
conan config install)现在会递归查找.conanignore文件 - 配置值现在支持不同类型数字的组合
- 改进了
test_package对python_requires的处理
结语
Conan 2.17.0 通过全面的功能增强和质量改进,进一步巩固了其作为现代 C/C++ 项目依赖管理首选工具的地位。从编译器支持到工作空间管理,再到构建系统集成,每个方面的优化都体现了对开发者实际需求的深入理解。这些改进将显著提升大型项目的管理效率和跨平台兼容性,值得所有 C/C++ 开发者升级体验。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C089
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python057
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0137
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00