summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
AgeCommit message (Collapse)Author
2018-10-23CMake: Set RPATH on installed binary (#2671)Andres Noetzli
Currently, when installing CVC4 with a custom installation directory on macOS, the resulting binary cannot be executed because the linker cannot find the required libraries (e.g. our parser). This commit changes our build system to use the `CMAKE_INSTALL_RPATH` variable to add the installation directory to the RPATH list in the exectuable.
2018-10-19Remove autotools build system. (#2639)Mathias Preiner
2018-10-10cmake: Use gcovr instead lcov for coverage report generation. (#2617)Mathias Preiner
2018-10-02cmake: Add examples to build-tests, add warning for disabling static build. ↵Mathias Preiner
(#2562)
2018-10-01cmake: Generate compile_commands.json on configure. (#2559)Mathias Preiner
2018-10-01cmake: Add build target build-tests to build all test dependencies. (#2558)Mathias Preiner
2018-09-29cmake: Ignore ctest exit code for coverage reports.Mathias Preiner
2018-09-27cmake: Add CxxTest finder module to allow custom paths. (#2542)Mathias Preiner
2018-09-26cmake: Fix test target dependency issues. (#2540)Mathias Preiner
2018-09-25cmake: Exclude examples for coverage target. (#2535)Mathias Preiner
2018-09-25cmake: Add check for GCC 4.5.1 and warn user. (#2533)Mathias Preiner
2018-09-24cmake: Add program prefix option. (#2515)Mathias Preiner
2018-09-22cmake: Add python3 option.Mathias Preiner
2018-09-22cmake: Enable -Wall.Mathias Preiner
2018-09-22cmake: Build fully static binaries with option --static.Mathias Preiner
2018-09-22cmake: Run make coverage in parallel by default.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: Do not allow dumping with portfolio build.Aina Niemetz
2018-09-22cmake: Move extracting git information to src/base cmake config file.Aina Niemetz
2018-09-22cmake: Disable unit tests if assertions are not enabled.Mathias Preiner
2018-09-22cmake: Do not build examples and unit and system tests by default.Aina Niemetz
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: Added target examples (currently .cpp examples only)Aina Niemetz
2018-09-22cmake: Simplify build type configuration.Mathias Preiner
2018-09-22cmake: Refactor and clean up build profile printing.Aina Niemetz
2018-09-22cmake: Added target checkAina Niemetz
Targets 'check', 'units', 'systemtests' and 'regress' are now run in parallel with the number of available cores by default. This can be overriden by passing ARGS=-jN.
2018-09-22cmake: Add make install rule.Mathias Preiner
2018-09-22cmake: configure.sh wrapper: Fix handling of options with arguments.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: Only build libcvc4 and libcvc4parser as libraries.Mathias Preiner
The sources of all previous libraries are now added to libcvc4 and built as libcvc4. This removes circular dependencies between libcvc4 and libexpr. Further, we now only have one parser library and don't build additional libraries for each language.
2018-09-22cmake: Move find_package to where it is actually needed.Mathias Preiner
2018-09-22cmake: Updated and prettified configuration printing.Aina Niemetz
2018-09-22cmake: Add ENABLE_DEBUG_CONTEXT_MM to enable the debug context memory manager.Aina Niemetz
2018-09-22cmake: Add ENABLE_BEST to enable best configuration of dependencies.Aina Niemetz
2018-09-22cmake: Add Java runtime as required dependency (required for ANTLR).Mathias Preiner
2018-09-22cmake: Add library versioning for libcvc4.so.Mathias Preiner
2018-09-22cmake: Add missing checks for cvc4autoconfig.h to ConfigureCVC4.cmake.Mathias Preiner
2018-09-22cmake: Use target specific includes for libcvc4.Mathias Preiner
Further, print definitions added with add_definitions(...).
2018-09-22cmake: Add support for building static binaries/libraries.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: Add SWIG support + Python and Java bindings.Mathias Preiner
2018-09-22cmake: Add dependencies for test targets and support for make coverage.Aina Niemetz
2018-09-22cmake: Various portfolio/default option fixes.Mathias Preiner
2018-09-22cmake: Build unit tests only if -DENABLE_UNIT_TESTING=ON.Aina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback