search

nmanthey / riss-solver

sequential and parallel SAT solver
GNU Lesser General Public License v2.1
8 stars 3 forks source link

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

Open nmanthey opened 6 years ago

nmanthey commented 6 years ago

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.

kahlertl commented 5 years ago

Hi @nmanthey, it's me again :smiley: 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.

conp-solutions commented 5 years ago

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