projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c7d51d) | patch
cmake: Use ld.gold if available for faster link times. (#3738)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 10 Feb 2020 19:34:11 +0000 (11:34 -0800)
committerGitHub <noreply@github.com>
Mon, 10 Feb 2020 19:34:11 +0000 (11:34 -0800)
commit779f9cd3c0f9a3620a52c30a853bde9e7b911494
tree64279cbb1d8aa91edfad89a38d27b0fc0982e824tree
parent5c7d51d9195d94edcf422f8f81b417077b2c460ccommit | diff
cmake: Use ld.gold if available for faster link times. (#3738)
CMakeLists.txt diff | blob | history