这不是编程问题，而是 win 7 上 cygwin 32 上的工具（SCIP）安装和库“不匹配”问题。
如果您认为这不是提出这个问题的好地方，请在投反对票之前告诉我。谢谢 ！
我正在尝试安装一个整数规划模型求解器
http://scip.zib.de/download.php?fname=scipoptsuite-3.1.1.tgz
这可以用来解决优化整数规划问题。
它支持在 cygwin 32 位上安装。
我已成功安装它，因为我可以从 cygwin 启动交互式 shell，例如：
$ ./bin/scip
SCIP version 3.1.1 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 2.0.1] [GitHash: bade511]
Copyright (c) 2002-2014 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
External codes:
SoPlex 2.0.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: 51184cf]
cppad-20140000.1 Algorithmic Differentiation of C++ algorithms developed by B. Bell (www.coin-or.org/CppAD)
user parameter file <scip.set> not found - using default parameters
SCIP>
但是，我试图通过研究工具中的示例代码来了解如何从 C++ 或 C# 调用其 API 库（由 C 实现）。
下载后，示例代码可以在
SCIP\scipoptsuite-3.1.1\scip-3.1.1\examples
当我按照安装说明（在每个示例子文件夹中）运行时
make all
我收到错误：
/examples/Binpacking
$ make all
-> compiling obj/O.cygwin.x86.gnu.opt/branch_ryanfoster.o
-> compiling obj/O.cygwin.x86.gnu.opt/cmain.o
-> compiling obj/O.cygwin.x86.gnu.opt/cons_samediff.o
-> compiling obj/O.cygwin.x86.gnu.opt/pricer_binpacking.o
-> compiling obj/O.cygwin.x86.gnu.opt/probdata_binpacking.o
-> compiling obj/O.cygwin.x86.gnu.opt/reader_bpa.o
-> compiling obj/O.cygwin.x86.gnu.opt/vardata_binpacking.o
-> linking bin/binpacking.cygwin.x86.gnu.opt.spx
**../../lib/libsoplex.cygwin.x86.gnu.opt.a: file not recognized: File format not recognized
collect2: error: ld returned 1 exit status**
Makefile:143: recipe for target 'bin/binpacking.cygwin.x86.gnu.opt.spx' failed
make: *** [bin/binpacking.cygwin.x86.gnu.opt.spx] Error 1
为什么静态库格式无法识别？
我在 SCIP 邮件列表中问过这个问题，但是，没有人知道如何解决这种 IT 问题（编译/链接）。
所以，希望我能在这里得到帮助。
如果需要更多信息，请告诉我。
任何帮助，将不胜感激。
谢谢 ！