log error message when verilaor cannot be executed

mshr-h · Jul 24, 2024 · 9bbdecd · 9bbdecd
1 parent 7609bb1
commit 9bbdecd
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/linter/VerilatorLinter.ts b/src/linter/VerilatorLinter.ts
@@ -109,6 +109,11 @@ export default class VerilatorLinter extends BaseLinter {
       (_error: Error, _stdout: string, stderr: string) => {
         let diagnostics: vscode.Diagnostic[] = [];
         stderr.split(/\r?\n/g).forEach((line, _) => {
+          if (line.search("No such file or directory") >= 0 || line.search("Not a directory") >= 0 || line.search("command not found") >= 0) {
+            this.logger.error(`Could not execute command: ${command}`);
+            return;
+          }
+
           if (!line.startsWith('%') || line.indexOf(docUri) <= 0) {
             return;
           }