Paweł Bylica 807f7533d9 CMake: Add option COVERAGE ...

This also removed PROFILE option that also adds --coverage flag. Instead you can use -DCMAKE_EXE_LINKER_FLAGS=-lprofiler. The profiling options can be added back when better investigated (e.g. -lprofiler vs -pg options).

2018-07-24 17:12:41 +02:00

..

scripts

Fix a typo in Buildinfo.cmake

2018-05-22 17:28:17 +02:00

templates

Add other licenses.

2017-07-01 22:59:08 +01:00

EthBuildInfo.cmake

CMake: Cleanup include paths

2017-09-26 22:44:57 +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

CMake: Add option COVERAGE

2018-07-24 17:12:41 +02:00

EthDependencies.cmake

CMake: Do no search for ctest

2018-04-16 12:02:38 +02:00

EthOptions.cmake

Make the Solidity repository standalone.

2016-08-01 01:45:11 -07:00

EthPolicy.cmake

Make the Solidity repository standalone.

2016-08-01 01:45:11 -07:00

EthUtils.cmake

CMake: Remove unused scripts

2017-08-23 17:25:29 +02:00

FindCVC4.cmake

[SMTChecker] Integration with CVC4

2018-04-17 12:26:58 +01:00

FindGMP.cmake

[SMTChecker] Integration with CVC4

2018-04-17 12:26:58 +01:00

FindZ3.cmake

CMake: Fix FindZ3

2017-08-24 08:31:51 +02:00

jsoncpp.cmake

Visual Studio 2017 build-time (linking) fix and improvements

2018-07-10 19:10:29 +02:00