summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
AgeCommit message (Collapse)Author
2019-09-25Use separate CMake project for CVC4 examples. (#3196)Mathias Preiner
2019-09-06Remove portfolio (#3236)Andrew Reynolds
2019-08-15cmake: Use ExactVersion instead of SameMinorVersion. (#3191)Mathias Preiner
2019-08-14cmake: Export CVC4 library interface. (#3179)Mathias Preiner
2019-08-08Fix issues with Ninja build system and add configure option. (#3166)Mathias Preiner
Adds option --ninja to configure.sh.
2019-04-12Referring to prerelease 1.8 (#2943)Haniel Barbosa
2019-04-05prerelease -> release (#2941)Haniel Barbosa
2019-04-03Update release notes and lib version (#2933)Haniel Barbosa
2019-01-15CMake: Fix search for static libraries (#2798)Andres Noetzli
When configuring CVC4 with `--static`, we change `CMAKE_FIND_LIBRARY_SUFFIXES` to prefer static libraries (`*.a`) over shared ones. However, instead of prepending `.a` to the list of `CMAKE_FIND_LIBRARY_SUFFIXES`, we created a single element with `.a` and the previous list. Output of `message("${CMAKE_FIND_LIBRARY_SUFFIXES}")` before the change: ``` .a .tbd;.dylib;.so;.a ``` After the change: ``` .a;.tbd;.dylib;.so;.a ``` On macOS, both the static and the shared library of GMP are available (when installed via homebrew) and before the change, CMake would pick the shared library when compiling with `--static --no-static-binary`. This commit fixes that issue.
2019-01-04cmake: Disable unit tests for static builds. (#2775)Mathias Preiner
--static now implies --no-unit-testing. Fixes #2672.
2018-12-17 Configured for linking against drat2er (#2754)Alex Ozdemir
drat2er is a C/C++ project which includes support for * Checking DRAT proofs * Converting DRAT proofs to LRAT proofs * Converting DRAT proofs to ER proofs It does the first 2 by using drat-trim under the hood. I've modified our CMake configuration to allow drat2er to be linked into CVC4, and I added a contrib script.
2018-11-08cmake: Add option to explicitely enable/disable static binaries. (#2698)Mathias Preiner
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
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback