summaryrefslogtreecommitdiff
path: root/cmake
AgeCommit message (Collapse)Author
2018-10-22Only build CryptoMiniSat library, no binary (#2657)Andres Noetzli
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.
2018-10-20Remove antlr_undefines.h. (#2664)Mathias Preiner
Is not required anymore since we don't use autotools anymore.
2018-09-27cmake: Add CxxTest finder module to allow custom paths. (#2542)Mathias Preiner
2018-09-26cmake: Only print dumping warning if not disabled by user. (#2543)Mathias Preiner
2018-09-24cmake: Fix and simplify git version info. (#2516)Aina Niemetz
2018-09-22cmake: Build fully static binaries with option --static.Mathias Preiner
2018-09-22cmake: Add more documentation, some fixes and cleanup.Mathias Preiner
2018-09-22cmake: Move PACKAGE_NAME to ConfigureCVC4, more cleanup.Mathias Preiner
2018-09-22cmake: Add support for cross-compiling for Windows.Mathias Preiner
2018-09-22cmake: Do not allow dumping with portfolio build.Aina Niemetz
2018-09-22cmake: FindANTLR: Check if antlr3FileStreamNew is available.Mathias Preiner
2018-09-22cmake: Add some more documentation, cleanup.Mathias Preiner
2018-09-22cmake: Move helper functions to cmake/Helpers.cmake.Mathias Preiner
2018-09-22cmake: Refactor and clean up build profile printing.Aina Niemetz
2018-09-22cmake: Add module finder for Valgrind.Mathias Preiner
2018-09-22cmake: Various CMakeLists.txt fixes/cleanup.Mathias Preiner
2018-09-22cmake: Add missing checks for cvc4autoconfig.h to ConfigureCVC4.cmake.Mathias Preiner
2018-09-22cmake: Add options for specifying install directories for dependencies.Mathias Preiner
2018-09-22cmake: Add module finder for GLPK-cut-log.Mathias Preiner
2018-09-22cmake: Add module finder for ABC.Mathias Preiner
2018-09-22cmake: Compile Java tests and add to ctest if Java bindings are enabled.Mathias Preiner
2018-09-22cmake: Various portfolio/default option fixes.Mathias Preiner
2018-09-22cmake: Enable shared by default.Mathias Preiner
Further, force shared builds in case of unit tests.
2018-09-22cmake: Add support for CxxTest.Aina Niemetz
2018-09-22cmake: Filter through and disable unused HAVE_* variables from autotools.Aina Niemetz
2018-09-22cmake: Added support for coverage and profiling.Aina Niemetz
2018-09-22cmake: Added 3-valued option handling (to enable detection of user-set options).Aina Niemetz
2018-09-22cmake: Add module finder for readline.Mathias Preiner
2018-09-22cmake: Added licensing options and warnings/errors.Aina Niemetz
2018-09-22cmake: Add build configurations.Aina Niemetz
2018-09-22cmake: Add module finder for LFSC.Mathias Preiner
2018-09-22cmake: Add module finder for CaDiCaL.Mathias Preiner
2018-09-22cmake: Add module finder for CryptoMiniSat.Mathias Preiner
2018-09-22cmake: Add module finder for SymFPU.Mathias Preiner
2018-09-22cmake: Add module finder for CLN.Mathias Preiner
2018-09-22cmake: Antlr parser generation done.Mathias Preiner
2018-09-22cmake: .cpp generation done, .h generation not yet completeAina Niemetz
2018-09-22cmake: Added initial build infrastructure.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback