summaryrefslogtreecommitdiff
path: root/configure.sh
AgeCommit message (Collapse)Author
2019-04-09Removing references to cvc4-bugs@... (#2945)Haniel Barbosa
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-11-05configure.sh: Fix option parsing to match --help (#2611)Andres Noetzli
2018-09-27cmake: Add CxxTest finder module to allow custom paths. (#2542)Mathias Preiner
2018-09-25cmake: configure.sh wrapper: Removed unused option --gmp.Aina Niemetz
2018-09-24cmake: Add program prefix option. (#2515)Mathias Preiner
2018-09-22cmake: Add python3 option.Mathias Preiner
2018-09-22cmake: Add more documentation, some fixes and cleanup.Mathias Preiner
2018-09-22cmake: configure.sh wrapper: Use explicit build directory structure.Aina Niemetz
We don't create build directories for every build type (and configuration) anymore. The default build directory is now 'build' (created where you call the wrapper script from). Option --name allows to configure an individual name (and path) for the build directory.
2018-09-22cmake: configure wrapper: Modify next steps message after configuration.Mathias Preiner
Since configure.sh is only a wrapper for cmake it prints all the messages from cmake. At the end we print the next steps after configuration. If configure.sh is used we add the info to also change into the build directory before calling make.
2018-09-22cmake: Add support for cross-compiling for Windows.Mathias Preiner
2018-09-22cmake: configure.sh wrapper: Fixes for sh.Mathias Preiner
2018-09-22cmake: configure.sh wrapper: Add --name option.Mathias Preiner
2018-09-22cmake: configure.sh wrapper: Add --prefix for install directory.Mathias Preiner
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: configure.sh wrapper: Removed env vars help text.Aina Niemetz
2018-09-22cmake: configure.sh wrapper: Configurable build directoryAina Niemetz
2018-09-22cmake: configure.sh wrapper: Create build dirs for configurationsAina Niemetz
2018-09-22cmake: configure.sh wrapper: done (except: configurable build dir)Aina Niemetz
2018-09-22cmake: configure.sh wrapper: option parsingAina Niemetz
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback