projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 968d12f) | patch
cmake: Generate compile_commands.json on configure. (#2559)
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 1 Oct 2018 23:37:15 +0000 (16:37 -0700)
committerAndres Noetzli <andres.noetzli@gmail.com>
Mon, 1 Oct 2018 23:37:15 +0000 (16:37 -0700)
commit64a0e3f1e4a5a8e3070eeadae0f6942b290c2974
tree328c763366743424f316f677e9a7da572f599b33tree
parent968d12fb8dc668dde59b02923a6b9ec20ecbeb3fcommit | diff
cmake: Generate compile_commands.json on configure. (#2559)
CMakeLists.txt diff | blob | history