usi-verification-and-security / opensmt

The opensmt solver
Other
78 stars 18 forks source link

CMake: Remove workaround and fix order of GMP libs #738

Closed blishko closed 4 months ago

blishko commented 4 months ago

Apparently, order of static libraries when linking into executable can matter, and for GMP the C++ version gmpxx must come before the C version gmp. On some systems (like Fedora, ArchLinux), this was not the cases, most likely because when creating the wrapper target GMP::GMP, we specified the libraries in the wrong order.