Daniel Kirchner c7a0f44159 Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.		2018-08-08 19:02:59 +02:00
..
scripts	Fix a typo in Buildinfo.cmake	2018-05-22 17:28:17 +02:00
templates	Include license header from code derived from V8 (scanner/token)	2018-08-02 11:29:11 +01:00
EthBuildInfo.cmake	Fixes building Solidity when base directory contains spaces.	2018-07-27 09:41:05 +02:00
EthCcache.cmake	CMake: Better ccache configuration	2017-09-20 16:39:41 +02:00
EthCheckCXXCompilerFlag.cmake	CMake: Add compiler warning about implicit fallthough	2017-09-26 14:21:01 +02:00
EthCompilerSettings.cmake	Merge pull request #4665 from mattaereal/cmake-patch-solver	2018-08-08 17:58:01 +01:00
EthDependencies.cmake	CMake: Do no search for ctest	2018-04-16 12:02:38 +02:00
EthOptions.cmake	Update the coverage info message in cmake	2018-08-07 00:54:52 +00:00
EthPolicy.cmake	CMake: Better policy availability checking	2018-07-24 17:07:11 +02:00
EthUtils.cmake	CMake: Remove unused scripts	2017-08-23 17:25:29 +02:00
FindCLN.cmake	Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.	2018-08-08 19:02:59 +02:00
FindCVC4.cmake	Do not force GMP to be present as dependency of CVC4, but also allow CLN instead.	2018-08-08 19:02:59 +02:00
FindGMP.cmake	[SMTChecker] Integration with CVC4	2018-04-17 12:26:58 +01:00
FindZ3.cmake	cmake flags to make solvers optional. Implementation of #4651	2018-08-08 12:43:57 -03:00
jsoncpp.cmake	Rename JSONCPP_EXTRA_FLAGS to JSONCPP_CXX_FLAGS, add EMSCRIPTEN workaround and remove obsolete MSVC workaround.	2018-08-08 13:17:13 +02:00