~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2022-03-30	Refactor cmake installation into own component	Martin Nowack

2022-03-30	Kitware's cmake is not available for non-LTS Ubuntu versions	Martin Nowack
	Don't try to install it for non-LTS Ubuntu versions
2022-03-30	Avoid installing Python 2	Martin Nowack

2022-03-30	Add support to `sudo` if necessary	Martin Nowack
	Instead if executing system-relevant changes directly, use `sudo` on Ubuntu-based machines. Simplifies the installation procedure.
2022-03-22	Install doxygen and graphviz (dot) to generate Doxygen documentation when ↵	Cristian Cadar
	ENABLE_DOXYGEN=ON
2021-09-15	Install git as a requirement for codecov	Martin Nowack
	Codecov depends on git to detect the SHA sum of the repository. Install as a dependency.
2021-09-10	CI: Use the latest release of CMake	Lukas Zaoral

2020-11-04	[build] Add multilib package to build 32bit on ubuntu	Martin Nowack

2020-02-13	Update ubuntu build dependencies for KLEE	Martin Nowack
	Build dependencies for different components were tied to a specific Ubuntu version (16.04). Although, they are the same for newer versions as well. By renaming `p-component-linux-ubuntu-16.04.inc` to `p-component-linux-ubuntu.inc`, the script can be used for newer Ubuntu versions as well. Do some minor cleaning up.