设置Coin-CLP的问题

Posted 2021-05-05

我正在尝试设置Coin-CLP，它也支持CPLEX（我已经安装并在我的机器上顺利运行），遵循网站上的说明。

不幸的是，当我尝试在安装上运行配置步骤时，在我想要包含CPLEX的版本中，以及如下所示：

./configure --with-cplex 
--with-cplex-lib="-L/opt/ibm/ILOG/CPLEX_Studio127/cplex/lib/x86-64_linux/static_pic -lilocplex -lconcert -lcplex -lm -lpthread" 
--with-cplex-incdir="/opt/ibm/ILOG/CPLEX_Studio127/cplex/include/ilcplex" 
--enable-static -C

我收到以下错误：

checking whether symbol CPXgetstat is available with CPX... no
configure: error: Cannot find symbol(s) CPXgetstat with CPX
configure: error: /bin/bash './configure' failed for Osi

我试图在线搜索并找到类似的问题和建议的解决方案，但遗憾的是到目前为止我还没有找到任何方法来解决这个问题。所以，任何帮助都会非常感激！

答案

我最近偶然发现了同样的问题，试图让Fast-Downward规划师能够使用LP功能。我知道这是一个老问题，但它是搜索此错误时出现的少数页面之一，所以我想我也可以为它提供解决方案。

在深入了解Osi文件夹中的config.log文件之后，我发现DL（动态加载）库中的函数有未定义的引用，例如dlopen。所以我将-ldl添加到--with-cplex-lib配置参数中。我的配置调用在最后是这样的：

./configure CC="gcc"  CFLAGS="-m64 -pthread -Wno-long-long" CXX="g++" 
  CXXFLAGS="-m64 -pthread -Wno-long-long" LDFLAGS="-L$DOWNWARD_CPLEX_ROOT64/lib/x86-64_linux/static_pic/"
  --without-lapack --enable-static=yes --prefix="/usr/local/" --disable-zlib --disable-bzlib
  --with-cplex-incdir=$DOWNWARD_CPLEX_ROOT64/include/ilcplex --with-cplex-lib="-lcplex -lm -ldl" 

希望能帮助到你。