aboutsummaryrefslogtreecommitdiffstats
path: root/cmake/FindCVC4.cmake
diff options
context:
space:
mode:
authorAlex Beregszaszi <alex@rtfs.hu>2018-04-17 19:05:59 +0800
committerGitHub <noreply@github.com>2018-04-17 19:05:59 +0800
commit842fd0cd2cef3c11c392b7820e178fd0d034fa07 (patch)
tree5ed1f54437e31d419e591ad0928d58dc2e945436 /cmake/FindCVC4.cmake
parent2be2988817a31fd705a60bbb595798952f84b20a (diff)
parent0bf3db3fcf2f00f83b28d8d946df2865d047fcf1 (diff)
downloaddexon-solidity-842fd0cd2cef3c11c392b7820e178fd0d034fa07.tar.gz
dexon-solidity-842fd0cd2cef3c11c392b7820e178fd0d034fa07.tar.zst
dexon-solidity-842fd0cd2cef3c11c392b7820e178fd0d034fa07.zip
Merge pull request #3913 from ethereum/jsoncpp-version-assert
Add static_assert for the correct jsoncpp version
Diffstat (limited to 'cmake/FindCVC4.cmake')
0 files changed, 0 insertions, 0 deletions