Also add a dynamic library

[msoos]

This also builds a dynamic library, besides a static one. I have a feeling it may have been purposefully left out, but I need it, and I think it may not be too harmful to do it? Just a suggestion.

Mate

[kotopesutility]

I would also specify soname like Fedora does.

[arminbiere]

See issue #40. The solution will be to require to use ./configure --shared which builds both. The default will remain to only build the static library. This will be ported from Kissat. Next feature update after the 2.0.0 release is planned to address this.

[msoos]

Ah nice, thank you! Mate

…

On Tue 18. Jun 2024 at 12:40, Armin Biere ***@***.***> wrote: See issue #40 <#40>. The solution will be to require to use ./configure --shared which builds both. The default will remain to only build the static library. This will be ported from Kissat. Next feature update after the 2.0.0 release is planned to address this. — Reply to this email directly, view it on GitHub <#100 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAKF4OOEN6YY2RM66T7YCHDZIBPGDAVCNFSM6AAAAABIVSJSUSVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZDCNZWGUZTGNRRG4> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[kotopesutility]

Next feature update after the 2.0.0 release is planned to address this.

After 2.1.0?

[arminbiere]

Thanks for bumping. We had to first improve the user propagator part and now started to work on merging other branches. We will keep an eye on this one too.