diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-21 16:27:26 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | b2a89b4488d6665ba23c7cb3108ad4cb8c35f4dc (patch) | |
tree | 82b356597e1ac7626aacd1a0596cbd9b6882976c /cmake/Helpers.cmake | |
parent | 3b433d829ccfc0d91cb98f368a8896f5ccad1671 (diff) |
cmake: Build fully static binaries with option --static.
Diffstat (limited to 'cmake/Helpers.cmake')
-rw-r--r-- | cmake/Helpers.cmake | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/cmake/Helpers.cmake b/cmake/Helpers.cmake index ec7216452..692e32900 100644 --- a/cmake/Helpers.cmake +++ b/cmake/Helpers.cmake @@ -120,21 +120,6 @@ macro(print_config str var) endmacro() -#-----------------------------------------------------------------------------# -# libcvc4 helper macros - -# Collect all libraries that must be linked against libcvc4. These will be -# actually linked in src/CMakeLists.txt with target_link_libaries(...). -macro(libcvc4_link_libraries library) - set(LIBCVC4_LIBRARIES ${LIBCVC4_LIBRARIES} ${library}) -endmacro() - -# Collect all include directories that are required for libcvc4. These will be -# actually included in src/CMakeLists.txt with target_include_directories(...). -macro(libcvc4_include_directories dirs) - set(LIBCVC4_INCLUDES ${LIBCVC4_INCLUDES} ${dirs}) -endmacro() - # Collect all source files that are required to build libcvc4 in LIBCVC4_SRCS # or LIBCVC4_GEN_SRCS. If GENERATED is the first argument the sources are # added to LIBCVC4_GEN_SRCS. All sources are prepended with the absolute |