search

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories
MIT License
106 stars 29 forks source link

Build only statically/dynamically linked libraries and binaries? #23

Closed acairncross closed 4 years ago

acairncross commented 4 years ago

From what I understand, the build for monosat builds both dynamically linked libraries/binaries and statically linked libraries/binaries. Is there a way to only build one or the other (dynamic or static)?

sambayless commented 4 years ago

I originally intended to set it up so that you could build only one or the other, but right now I believe it only ever builds both (and I'd like to keep the current default behavior).

It shouldn't be too hard to alter the cmake build file to add something like a "build-static", "build-dynamic" options, which would cut the build time in roughly half if you only wanted one or the other.

On Fri, Oct 4, 2019, 5:47 AM Aiken Cairncross notifications@github.com wrote:

From what I understand, the build for monosat builds both dynamically linked libraries/binaries and statically linked libraries/binaries. Is there a way to only build one or the other (dynamic or static)?

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/sambayless/monosat/issues/23?email_source=notifications&email_token=AABOECTRU4GXRJJH3MJGMMTQMZK7DA5CNFSM4I5IBVAKYY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4HPQKWGQ, or mute the thread https://github.com/notifications/unsubscribe-auth/AABOECUVSSFNPKUFRYDDWSTQMZK7DANCNFSM4I5IBVAA .