config key d.ccdbPath for compile_commands.json

Pure-D · Jan 21, 2023 · 6c123f7 · 6c123f7
1 parent 91861e6
commit 6c123f7
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/package.json b/package.json
@@ -918,6 +918,12 @@
 						"order": 1,
 						"markdownDescription": "Array of workspace-relative (or absolute) folders to force start a project instance in."
 					},
+					"d.ccdbPath": {
+						"type": "string",
+						"scope": "resource",
+						"default": null,
+						"description": "Path to a Clang compilation database (aka. CCDB, aka. `compile_commands.json`) to use to lint this project"
+					},
 					"d.dmdPath": {
 						"type": "string",
 						"scope": "machine-overridable",

diff --git a/src/extension.ts b/src/extension.ts
@@ -222,7 +222,8 @@ async function startClient(context: vscode.ExtensionContext) {
 				vscode.workspace.createFileSystemWatcher("**/*.d"),
 				vscode.workspace.createFileSystemWatcher("**/dub.json"),
 				vscode.workspace.createFileSystemWatcher("**/dub.sdl"),
-				vscode.workspace.createFileSystemWatcher("**/profilegc.log")
+				vscode.workspace.createFileSystemWatcher("**/profilegc.log"),
+				vscode.workspace.createFileSystemWatcher("**/compile_commands.json"),
 			]
 		},
 		revealOutputChannelOn: RevealOutputChannelOn.Never,