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