MathOpt solvers missing in static

[pet-mit]

Hello

When we compile OR-Tools ("stable" branch) as a static library (i.e. by setting BUILD_SHARED_LIBS=OFF), MathOpt solvers are not useable.
We get the following kind of error: solver type SOLVER_TYPE_PDLP is not registered, support for this solver has not been compiled
Is this an expected behaviour?

This is our cmake configuration:

-DBUILD_DEPS=ON
-DBUILD_MATH_OPT=ON
-DUSE_XPRESS=ON
-DUSE_GLOP=ON
-DUSE_SCIP=ON
-DUSE_GLPK=ON
-DBUILD_SHARED_LIBS=OFF

NB:

• MPSolvers solvers are useable in static without any issue
• when we set BUILD_SHARED_LIBS=ON, MathOpt solvers become useable

Thank you for your help

[Mizux]

Good Catch, will try to fix it ASAP.

my 2 cents, did you try to use $<LINK_LIBRARY:WHOLE_ARCHIVE,ortools::ortools> instead of ortools::ortools when target_link_libraries to ortools ?
IIRC math_opt use some global singleton to "register" each solver and this code is dropped by linker 🤡
e.g.

or-tools/ortools/math_opt/solvers/pdlp_solver.cc

Line 389 in 9090dc7

MATH_OPT_REGISTER_SOLVER(SOLVER_TYPE_PDLP, PdlpSolver::New);

Otherwise, I will need at least your OS, the CMake generator used etc so I can reproduce it easily...
note: Will try to hack my cmake template project to test and dev a MRE....
ref https://github.com/or-tools/cmake_or-tools

[pet-mit]

Thank you for the quick reply
Using $<LINK_LIBRARY:WHOLE_ARCHIVE,ortools::ortools> instead of ortools::ortools does make the issue disappear.

FYI, I forgot to mention that even the solves' unit tests fail when building in static (for instance, pdlp_solver_test.cc).

My OS : Ubuntu 22.04
CMake generator: Ninja (I use the default one bundled in CLion)