BUILD_SHARED_LIBS isn't respected

Boolector / boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

http://boolector.github.io

Other

332 stars 62 forks source link

Closed yurivict closed 5 years ago

yurivict commented 5 years ago

BUILD_SHARED_LIBS=ON should build a shared library.

mpreiner commented 5 years ago

The configure scripts sets SHARED=on, but I agree, we should use the "default" cmake way. We'll change that.