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