search

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

Check that "-Wl,--no-export-dynamic" is a supported link flag before using it #46

Closed aytey closed 5 years ago

aytey commented 5 years ago

Currently, Boolector's build process uses the linker flag -Wl,--no-export-dynamic without checking if it is supported by the underlying compiler.

This PR adds a CMake "check" module to validate that this linker flag is supported, before using it.

Note: there is no "built-in" CMake macro for checking if a linker flag is supported. The approach taken was there recommend approach from the CMake mailing list:

https://cmake.org/pipermail/cmake/2011-July/045525.html