Add option to build with only dynamic/static linking

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories

MIT License

106 stars 29 forks source link

Add option to build with only dynamic/static linking #24

Closed acairncross closed 5 years ago

acairncross commented 5 years ago

I've attempted to create the options suggested in #23.

This adds BUILD_DYNAMIC and BUILD_STATIC options (both ON by default) which can be set to OFF to disable either kind of build. Python and Java libraries are only built if BUILD_SHARED is ON. The intention is that unless you set either of these to OFF, everything should behave the same as it used to.

sambayless commented 5 years ago

Thanks a ton for doing this! It looks like your implementation handles all the different configurations correctly; I'm adding some continuous integration tests for the new build modes, and then I'll merge this in.