MFEM项目编译问题：PETSc依赖库解析错误分析

问题背景

在MFEM 4.8版本的编译过程中，当配置PETSc依赖时出现了链接错误。具体表现为在运行multipass_test_00_petsc_works_*测试程序时，报错"undefined reference to symbol feenableexcept@@GLIBC_2.2.5"。这个问题在MFEM 4.7版本中并未出现，尽管两个版本中相关的CMake脚本文件(FindPETSc.cmake和ResolveCompilePaths.cmake)内容完全一致。

问题分析

通过深入调试发现，问题根源在于CMake脚本中库解析逻辑的异常行为：

1. 库解析差异：在MFEM 4.8的配置过程中，petsc_libraries_external变量缺少了许多必要的动态链接库(如mpi、libldl、libm、libstdc++等)，而petsc_libs_external变量内容是正确的。

2. 变量作用域问题：在ResolveCompilePaths.cmake文件中，约96行处的set(_lib "NOTFOUND" CACHE FILEPATH "Cleared" FORCE)语句存在问题。变量_lib在迭代过程中没有被正确清除，导致后续的库解析受到影响。

3. 解决方案验证：将上述语句修改为set(_lib "NOTFOUND")后，配置过程能够正常通过。

根本原因

这个问题可能与CMake策略CMP0126的变化有关。当将策略设置为OLD时，配置能够成功通过。这表明：

1. CMake版本影响：MFEM 4.8将cmake_minimun_required从3.8提升到了3.12，可能影响了set命令的行为策略。

2. 缓存变量设计：代码中使用了缓存变量_lib作为中间变量，这种设计本身值得商榷。缓存变量通常用于需要跨CMake运行保持的值，而中间变量使用缓存可能导致意外的行为。

技术建议

对于遇到类似问题的开发者，建议采取以下措施：

1. 明确变量作用域：避免在迭代过程中使用缓存变量作为中间变量，除非有特殊需求。

2. CMake策略管理：在升级CMake最低版本要求时，应该全面测试所有配置场景，特别是涉及变量作用域和缓存行为的代码。

3. 依赖库解析：对于复杂的依赖关系(如PETSc)，建议在配置阶段输出详细的库解析日志，便于问题诊断。

总结

这个案例展示了CMake脚本中变量作用域管理的重要性，特别是在跨版本升级时。开发者应当注意：

1. 缓存变量的使用场景和生命周期
2. CMake版本升级可能带来的行为变化
3. 复杂依赖解析过程中的错误处理机制

通过这个问题的分析，我们也看到MFEM项目在持续演进过程中对构建系统的改进，以及社区成员对问题的快速响应和解决能力。