nmanthey/riss-solver

Riss does not biuld a .so library for riss+coprocessor as required for IPASIR

Opened this issue · 2 comments

When using dynamic linking against the IPASIR interface, two libraries would have to be used for Riss, as Coprocessor comes in its own library.

Similarly to the static library, add a rule to build a dynamic library, and build it when IPASIR is build.

Hi @nmanthey, it's me again 😃 Long time no see!

Isn't there the riss-coprocessor-lib-shared target when the FPIC option is enabled (see CMakeLists.txt#L150)? This is a combined shared library of riss and coprocessor.

Yes, true. This file is generated: ./lib/libriss-coprocessor.so. Let's close this.