【问题标题】:SCIP compile and installation problems in linuxlinux中SCIP编译安装问题
【发布时间】:2017-07-11 05:14:11
【问题描述】:

我一直在尝试在Linux下编译和安装SCIP,但是在编译过程结束时出现以下错误....

** Build complete.
** Find your SCIP binary in "/home/carloserwin/Documents/scipoptsuite-4.0.0/scip-4.0.0/bin".
** Enter "make test" to solve a number of easy instances in order to verify that SCIP runs correctly.

make[2]: Leaving directory '/home/carloserwin/Documents/scipoptsuite-4.0.0'
make[1]: Leaving directory '/home/carloserwin/Documents/scipoptsuite-4.0.0'
make[1]: Entering directory '/home/carloserwin/Documents/scipoptsuite-4.0.0'
ar: /home/carloserwin/Documents/scipoptsuite-4.0.0/zimpl-3.3.4/obj/O.linux.x86.gnu.shared.opt/blkmem.o: No such file or directory
make[1]: *** [Makefile.doit:238: scipoptlib] Error 1
make[1]: Leaving directory '/home/carloserwin/Documents/scipoptsuite-4.0.0'
make: *** [Makefile:98: scipoptlib] Error 2

当我写“make test”时,几乎每个测试都失败了。在 Linux 中多次尝试均未成功后,我尝试在 Mac 中编译,它运行良好,所有测试都正常。但我需要让它在 Linux 上运行。

gcc 版本是 7-2.1 操作系统 Linux openSUSE Tumbleweed,KDE 5.10.3 32 位

【问题讨论】:

  • 似乎跳过了对文件的编译。这可能是该特定版本中的缺陷。你试过其他人吗?
  • 你能提供完整的构建日志吗?你能在scip子目录下运行make和make test吗?
  • 在 linux 中下载安装 SCIP 3.2.1 版没有任何问题。所以4.0.0版本肯定有什么奇怪的地方。感谢您的建议
  • @stefan 我有同样的问题,可以提供完整的构建日志:gist.github.com/anonymous/ef4b779dca2b50a4ac42d176b5a0a0bf 我还可以证明,make 和 make test 运行顺利

标签: c++ linux scip


【解决方案1】:

似乎 scipoptlib makefile 使用错误的目录来查找 zimpl 对象。内部开发版本中似乎有一些修复,也许它会有所帮助:

diff --git a/Makefile.doit b/Makefile.doit
index 344f0ee..1d8077e 100644
--- a/Makefile.doit
+++ b/Makefile.doit
@@ -65,7 +65,7 @@ ZIMPLOBJECTS =          blkmem.o bound.o code.o conname.o define.o elem.o entry.


 ifeq ($(ZIMPL),true)
-SCIPOPTOBJFILES    +=  $(addprefix $(ZIMPLDIR)/obj/O.$(OSTYPE).$(ARCH).$(COMP).shared.$(ZIMPLOPT)/,$(ZIMPLOBJECTS))
+SCIPOPTOBJFILES    +=  $(addprefix $(ZIMPLDIR)/obj/O.$(OSTYPE).$(ARCH).$(COMP).$(LIBTYPE).$(ZIMPLOPT)/,$(ZIMPLOBJECTS))
 endif

 ifeq ($(LIBBUILD),$(LINKCC))

【讨论】:

  • 我不能接受这个答案(因为我不是发帖人),但我可以证明它解决了我机器上的问题。投赞成票:)
猜你喜欢
  • 1970-01-01
  • 2021-10-20
  • 2013-08-26
  • 1970-01-01
  • 1970-01-01
  • 2019-06-09
  • 1970-01-01
  • 2022-11-29
  • 2020-08-22
相关资源
最近更新 更多