<div dir="ltr">Hello Marc,<div><br></div><div>Thank you for your super-quick answer, I appreciate it very much.</div><div><br></div><div>I have removed the READLINE requirement as you suggested. While the compilation process finishes (100%), the linker fails without any meaningful message that I can see (even using --verbose as a linker argument).</div><div><br></div><div>It simply says: collect2.exe: error: ld returned 5 exit status</div><div><br></div><div>Below is the ending part of the linking process, obtained via the --verbose input to the linker. I have a build log with the entirety of the compilation process, but it's 500 kb and I am not sure if it's frowned upon to attach these types of files to the mailing list or not. </div><div><br></div><div>I cannot see any compilation error, only some warnings like these:</div><div><br></div><div>C:\Users\USER\Downloads\scipoptsuite-9.2.1\scipoptsuite-9.2.1\scip\src\blockmemshell\memory.c:2411:14: warning: ISO C does not support the 'I64' ms_printf length modifier [-Wformat=]</div><div>C:/Users/USER/Downloads/scipoptsuite-9.2.1/scipoptsuite-9.2.1/scip/src/scip/def.h:106:20: warning: redundant redeclaration of 'int _stricmp(const char*, const char*)' in same scope [-Wredundant-decls]</div><div><br></div><div>They seem harmless (to me).</div><div><br></div><div>I am using MinGW64 11.2.0 from WinLibs, and until now I have never had any issue in building C programs or C extensions using it...</div><div><br></div><div>Any suggestion is most welcome, thank you in advance.</div><div><br></div><div><br></div><div>[100%] Linking CXX shared library ..\..\bin\libscip.dll<br><br>Using built-in specs.<br>COLLECT_GCC=C:\Users\USER\Tools\MinGW64\bin\g++.exe<br>COLLECT_LTO_WRAPPER=c:/users/USER/tools/mingw64/bin/../libexec/gcc/x86_64-w64-mingw32/11.2.0/lto-wrapper.exe<br>OFFLOAD_TARGET_NAMES=nvptx-none<br>Target: x86_64-w64-mingw32<br>Configured with: ../configure --prefix=/R/winlibs64_stage/inst_gcc-11.2.0/share/gcc --build=x86_64-w64-mingw32 --host=x86_64-w64-mingw32 --enable-offload-targets=nvptx-none --with-pkgversion='MinGW-W64 x86_64-ucrt-posix-seh, built by Brecht Sanders' --with-tune=generic --enable-checking=release --enable-threads=posix --disable-sjlj-exceptions --disable-libunwind-exceptions --disable-serial-configure --disable-bootstrap --enable-host-shared --enable-plugin --disable-default-ssp --disable-rpath --enable-libstdcxx-pch --enable-libstdcxx-time=yes --disable-libstdcxx-debug --disable-version-specific-runtime-libs --with-stabs --disable-symvers --enable-languages=c,c++,fortran,lto,objc,obj-c++,d,jit --disable-gold --disable-nls --disable-stage1-checking --disable-win32-registry --disable-multilib --enable-ld --enable-libquadmath --enable-libada --enable-libssp --enable-libstdcxx --enable-lto --enable-fully-dynamic-string --enable-libgomp --enable-graphite --enable-mingw-wildcard --with-mpc=/d/Prog/winlibs64_stage/custombuilt --with-mpfr=/d/Prog/winlibs64_stage/custombuilt --with-gmp=/d/Prog/winlibs64_stage/custombuilt --with-isl=/d/Prog/winlibs64_stage/custombuilt --enable-install-libiberty --enable-__cxa_atexit --without-included-gettext --with-diagnostics-color=auto --enable-clocale=generic --with-libiconv --with-system-zlib --with-build-sysroot=/R/winlibs64_stage/gcc-11.2.0/build_mingw/mingw-w64 CFLAGS=-I/d/Prog/winlibs64_stage/custombuilt/include/libdl-win32<br>Thread model: posix<br>Supported LTO compression algorithms: zlib zstd<br>gcc version 11.2.0 (MinGW-W64 x86_64-ucrt-posix-seh, built by Brecht Sanders)<br>COMPILER_PATH=c:/users/USER/tools/mingw64/bin/../libexec/gcc/x86_64-w64-mingw32/11.2.0/;c:/users/USER/tools/mingw64/bin/../libexec/gcc/;c:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../../x86_64-w64-mingw32/bin/<br>LIBRARY_PATH=c:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/;c:/users/USER/tools/mingw64/bin/../lib/gcc/;c:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../../x86_64-w64-mingw32/lib/../lib/;c:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../../lib/;c:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../../x86_64-w64-mingw32/lib/;c:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../<br>COLLECT_GCC_OPTIONS='-Wno-psabi' '-O3' '-D' 'NDEBUG' '-v' '-v' '-shared' '-o' '..\..\bin\libscip.dll' '-shared-libgcc' '-mtune=generic' '-march=x86-64' '-dumpdir' '..\..\bin\libscip.dll.'<br> c:/users/USER/tools/mingw64/bin/../libexec/gcc/x86_64-w64-mingw32/11.2.0/collect2.exe -plugin c:/users/USER/tools/mingw64/bin/../libexec/gcc/x86_64-w64-mingw32/11.2.0/liblto_plugin.dll -plugin-opt=c:/users/USER/tools/mingw64/bin/../libexec/gcc/x86_64-w64-mingw32/11.2.0/lto-wrapper.exe -plugin-opt=-fresolution=C:\Users\USER\AppData\Local\Temp\ccQoBFst.res -plugin-opt=-pass-through=-lmingw32 -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lmoldname -plugin-opt=-pass-through=-lmingwex -plugin-opt=-pass-through=-lmsvcrt -plugin-opt=-pass-through=-lkernel32 -plugin-opt=-pass-through=-lpthread -plugin-opt=-pass-through=-ladvapi32 -plugin-opt=-pass-through=-lshell32 -plugin-opt=-pass-through=-luser32 -plugin-opt=-pass-through=-lkernel32 -plugin-opt=-pass-through=-lmingw32 -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lmoldname -plugin-opt=-pass-through=-lmingwex -plugin-opt=-pass-through=-lmsvcrt -plugin-opt=-pass-through=-lkernel32 -m i386pep --shared -Bdynamic -e DllMainCRTStartup --enable-auto-image-base -o ..\..\bin\libscip.dll c:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../../x86_64-w64-mingw32/lib/../lib/dllcrt2.o c:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/crtbegin.o -Lc:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0 -Lc:/users/USER/tools/mingw64/bin/../lib/gcc -Lc:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../../x86_64-w64-mingw32/lib/../lib -Lc:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../../lib -Lc:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../../../x86_64-w64-mingw32/lib -Lc:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/../../.. @C:\Users\USER\AppData\Local\Temp\cc8OocJM -lmingw32 -lgcc_s -lgcc -lmoldname -lmingwex -lmsvcrt -lkernel32 -lpthread -ladvapi32 -lshell32 -luser32 -lkernel32 -lmingw32 -lgcc_s -lgcc -lmoldname -lmingwex -lmsvcrt -lkernel32 c:/users/USER/tools/mingw64/bin/../lib/gcc/x86_64-w64-mingw32/11.2.0/crtend.o<br>collect2.exe: error: ld returned 5 exit status<br>mingw32-make[3]: *** [scip\src\CMakeFiles\libscip.dir\build.make:6589: bin/libscip.dll] Error 1<br>mingw32-make[3]: *** Deleting file 'bin/libscip.dll'<br>mingw32-make[2]: *** [CMakeFiles\Makefile2:2114: scip/src/CMakeFiles/libscip.dir/all] Error 2<br>mingw32-make[1]: *** [CMakeFiles\Makefile2:2707: scip/applications/MinIISC/CMakeFiles/miniisc.dir/rule] Error 2<br>mingw32-make: *** [makefile:1022: miniisc] Error 2<br></div><div><br></div></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Tue, 25 Mar 2025 at 22:35, Marc Pfetsch <<a href="mailto:pfetsch@mathematik.tu-darmstadt.de">pfetsch@mathematik.tu-darmstadt.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br>
<br>
Hi Andrea,<br>
<br>
SCIP does not yet support computing IISs for LPs yet.<br>
<br>
MinIISC is for computing a smallest number of constraints that have to <br>
be removed in order to obtain a feasible problem. (In some sense, this <br>
is dual to computing IISs.)<br>
<br>
However, it is not hard to compute some IISs (although not necessarily <br>
one of smallest size), by computing a vertex of the alternative <br>
polyhedron ({y: A^T y = 0, b^T y = -1, y \geq 0} for the original <br>
infeasible system Ax \leq b.) [The MinIISC code also builds this <br>
polyhedron and you might want to modify the code to output an IIS.]<br>
<br>
For your installation you should install "libreadline-dev" or use <br>
"-DREADLINE=off" as an argument to the cmake call.<br>
<br>
Best<br>
<br>
Marc<br>
<br>
On 25/03/2025 12:39, Andrea Gavana wrote:<br>
> Hello SCIP Users,<br>
> <br>
> I am a newbie with SCIP - I have used it a few times for simple MIPs and <br>
> always using the available binaries for Windows 64 bit. I have never <br>
> compiled it from source.<br>
> <br>
> I am now looking for ways to detect IIS in some of my standard, <br>
> continuous LPs (no MIPs). My understanding is that the MinIISC <br>
> application can be used for that purpose.<br>
> <br>
> Unfortunately, there appear not to be any precompiled binaries for <br>
> MinIISC (or any other application that is not SCIP). Or at least I <br>
> couldn't find it anywhere.<br>
> <br>
> So I have tried to follow the instructions on building SCIP and MinIISC <br>
> from the SCIP website, using CMake on Windows and the MinGW64 toolchain <br>
> (gcc for Windows) 11.2.0. I explicitly specify MinGW Makefiles.<br>
> <br>
> The CMake configure action ends like this:<br>
> <br>
> The following OPTIONAL packages have been found:<br>
> <br>
> <br>
> * SOPLEX<br>
> <br>
> * PkgConfig<br>
> <br>
> <br>
> -- The following REQUIRED packages have been found:<br>
> <br>
> <br>
> * Readline<br>
> <br>
> * SCIP<br>
> <br>
> * Threads<br>
> <br>
> * ZLIB<br>
> <br>
> <br>
> -- The following OPTIONAL packages have not been found:<br>
> <br>
> <br>
> * Boost (required version >= 1.65.0)<br>
> <br>
> * PAPILO<br>
> <br>
> * ZIMPL (required version >= 3.5.0)<br>
> <br>
> * IPOPT (required version >= 3.12.0)<br>
> <br>
> * WORHP<br>
> <br>
> * CRITERION<br>
> <br>
> * GSL (required version >= 2.0)<br>
> <br>
> * GMP<br>
> <br>
> * CLIQUER<br>
> <br>
> <br>
> Configuring done<br>
> <br>
> <br>
> <br>
> After the "generate" from CMake, I naively attempted this:<br>
> <br>
> cmake.exe --build build --target miniisc<br>
> <br>
> I get this:<br>
> <br>
> C:\Users\XXXX\scipoptsuite-9.2.1\scip\src\scip\dialog.c:48:10: fatal <br>
> error: readline/readline.h: No such file or directory<br>
>     48 | #include <readline/readline.h><br>
>        |          ^~~~~~~~~~~~~~~~~~~~~<br>
> compilation terminated.<br>
> mingw32-make[3]: *** [scip\src\CMakeFiles\libscip.dir\build.make:3751: <br>
> scip/src/CMakeFiles/libscip.dir/scip/dialog.c.obj] Error 1<br>
> mingw32-make[2]: *** [CMakeFiles\Makefile2:2114: <br>
> scip/src/CMakeFiles/libscip.dir/all] Error 2<br>
> mingw32-make[1]: *** [CMakeFiles\Makefile2:2707: <br>
> scip/applications/MinIISC/CMakeFiles/miniisc.dir/rule] Error 2<br>
> mingw32-make: *** [makefile:1022: miniisc] Error 2<br>
> <br>
> I do have a readline-kind-of for Windows, that I obtained <br>
> from mingw-w64-x86_64-readline, but I guess I must be doing something <br>
> wrong somewhere. I am not an expert in compiling packages, so I am kind <br>
> of lost here.<br>
> <br>
> I assume there aren't many people having a pre-compiled executable for MinIISC on Windows, but if anyone does, please do let me know - I'd be rather interested in giving it a try using some LP files I already have. Or any other suggestion you may have to help me fix the build issue would be most appreciated.<br>
> <br>
> <br>
> Thank you in advance.<br>
> <br>
> <br>
> Andrea.<br>
> <br>
> <br>
> <br>
> <br>
> _______________________________________________<br>
> Scip mailing list<br>
> <a href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a><br>
> <a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br>
_______________________________________________<br>
Scip mailing list<br>
<a href="mailto:Scip@zib.de" target="_blank">Scip@zib.de</a><br>
<a href="https://listserv.zib.de/mailman/listinfo/scip" rel="noreferrer" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br>
</blockquote></div>