我正在尝试安装CVC5 1.3.3。

我使用MacPorts来安装大多数软件包，包括GMP，因此我的GMP安装位于 /opt/local，头文件在 /opt/local/include。

要让它在那里查找，针对 configure.sh 应该使用哪些正确的参数？

我尝试了很多方法，包括：

./configure.sh --dep-path="/opt/local" --auto-download

和

./configure.sh -DCMAKE_PREFIX_PATH="/opt/local" -DCMAKE_INCLUDE_PATH="/opt/local/include" --auto-download

但在每种情况下，在构建时我得到

[ 96%] Building CXX object src/parser/CMakeFiles/cvc5parser-objs.dir/commands.cpp.o
In file included from /opt/sw/cvc5-cvc5-1.3.3/src/parser/commands.cpp:25:
In file included from /opt/sw/cvc5-cvc5-1.3.3/build/src/expr/node_manager.h:16:
In file included from /opt/sw/cvc5-cvc5-1.3.3/build/deps/include/poly/polyxx.h:3:
/opt/sw/cvc5-cvc5-1.3.3/build/deps/include/poly/poly.h:27:10: fatal error: 'gmp.h' file not found
   27 | #include <gmp.h>
      |          ^~~~~~~
1 error generated.
make[2]: *** [src/parser/CMakeFiles/cvc5parser-objs.dir/commands.cpp.o] Error 1
make[1]: *** [src/parser/CMakeFiles/cvc5parser-objs.dir/all] Error 2
make: *** [all] Error 2

解决方案

我向Google Gemini求助，它给出了一个可行的解决方案：

export CPATH="/opt/local/include"      
export LIBRARY_PATH="/opt/local/lib"
./configure.sh --auto-download