diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-22 15:16:00 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-22 15:16:00 -0700 |
| commit | 5cdd2d16670725e29b1f43510fc5246e9c861fe3 (patch) | |
| tree | 8b697498a2836c5874f1e4f2d39dc84901a108c6 /cmake | |
| parent | 8e58fec53e1bc9f1b9349a235e2ad76bda4d9dd9 (diff) | |
Only build CryptoMiniSat library, no binary (#2657)
This commit changes the contrib/get-cryptominisat script to only build
the CryptoMiniSat library instead of both the library and the binary.
The advantage of this is that we can compile a static version of the
CryptoMiniSat library without having a static version of glibc or
libstdc++ (this is fine as long as we do a shared library build of
CVC4). This is an issue on Fedora (tested on version 25) where the
contrib/get-cryptominisat script was failing when building the
CryptoMiniSat binary due to the static version of these libraries not
being available. Since we just want to build the library, the commit
also changes the script to not install CryptoMiniSat anymore and updates
the CMake find script to accomodate the new folder structure. Side note:
the folder structure generated after this commit is a bit more uniform
with, e.g. the CaDiCaL script: The source files are directly in the
cryptominisat5 folder, not in a subfolder.
Diffstat (limited to 'cmake')
| -rw-r--r-- | cmake/FindCryptoMiniSat.cmake | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/cmake/FindCryptoMiniSat.cmake b/cmake/FindCryptoMiniSat.cmake index 7806b242d..d96c54eb3 100644 --- a/cmake/FindCryptoMiniSat.cmake +++ b/cmake/FindCryptoMiniSat.cmake @@ -8,13 +8,13 @@ # If the user provides a directory we will not search the default paths and # fail if CryptoMiniSat was not found in the specified directory. if(NOT CryptoMiniSat_HOME) - set(CryptoMiniSat_HOME ${PROJECT_SOURCE_DIR}/cryptominisat5/install) + set(CryptoMiniSat_HOME ${PROJECT_SOURCE_DIR}/cryptominisat5/build) set(CHECK_SYSTEM_VERSION TRUE) endif() find_path(CryptoMiniSat_INCLUDE_DIR NAMES cryptominisat5/cryptominisat.h - PATHS ${CryptoMiniSat_HOME}/include + PATHS ${CryptoMiniSat_HOME}/include ${CryptoMiniSat_HOME}/cmsat5-src NO_DEFAULT_PATH) find_library(CryptoMiniSat_LIBRARIES NAMES cryptominisat5 |