- for C++, use
compiledbto generate acompile_commands.json - for lean, setup a lean toolchain override for the correct
stage0:
$ elan toolchain add my-lean-copy /path/to/my-lean-copy/build/stage0$ elan override my-lean-copycompiledb to generate a compile_commands.jsonstage0: $ elan toolchain add my-lean-copy /path/to/my-lean-copy/build/stage0$ elan override my-lean-copy