这个问题在Debian/Ubuntu这类Debian系系统里挺常见的，和RHEL系的库命名、路径规则差异有关，我给你拆解下原因和解决办法：

1. 先确认是否安装了开发包 #

你提到已经安装了gmp和libgmp.so，但Debian系里，运行时库（比如libgmp10）和开发用的库文件、头文件是分开的。你可能只装了运行时库，没装开发包——而CMake链接项目时，需要的是开发包提供的链接库和头文件。

执行这条命令安装gmp开发包：

sudo apt-get update && sudo apt-get install libgmp-dev

2. 优化CMake的库查找逻辑 #

即使装了开发包，旧版本的CMake可能没默认搜索Debian系的专属库路径（比如/usr/lib/x86_64-linux-gnu），导致find_library(gmp gmp)找不到目标。这里有两个更可靠的方案：

方案A：用pkg-config查找（推荐） #

pkg-config能自动适配不同发行版的库路径，比直接用find_library更鲁棒，修改你的CMake代码如下：

# 先确保pkg-config工具可用
find_package(PkgConfig REQUIRED)
# 查找gmp库，找不到则直接终止配置并报错
pkg_check_modules(GMP REQUIRED gmp)

# 后续链接你的项目目标时，直接使用GMP_LIBRARIES变量即可
target_link_libraries(你的项目目标名称 ${GMP_LIBRARIES})

方案B：指定find_library的搜索路径 #

如果你不想大幅修改现有代码，可以给find_library加上Debian系常见的库路径：

find_library(gmp gmp PATHS /usr/lib/x86_64-linux-gnu /usr/lib /usr/local/lib)
if(NOT gmp)
    message(FATAL_ERROR "gmp not found")
endif()

为什么RHEL 7.3能正常运行？ #

RHEL系的gmp开发包（gmp-devel）会把库文件放在/usr/lib或/usr/lib64，这两个路径是CMake默认搜索路径的一部分，所以find_library能直接定位到。而Debian系把64位库放在/usr/lib/x86_64-linux-gnu，旧版本CMake可能没把这个路径加入默认搜索列表，就会出现找不到的情况。

内容的提问来源于stack exchange，提问作者Tzalumen