{"record":{"id":"311620cccb81c5b5","repo":"oraios/serena","slug":"verible-verilog-ls-is-not-installed-on-your-system","errorCode":null,"errorMessage":"verible-verilog-ls is not installed on your system.\nPlease install verible using one of the following methods:\n  conda:      conda install -c conda-forge verible\n  Homebrew:   brew install verible\n  GitHub:     Download from https://github.com/chipsalliance/verible/releases\nSee https://github.com/chipsalliance/verible for more details.","messagePattern":"verible-verilog-ls is not installed on your system\\.\nPlease install verible using one of the following methods:\n  conda:      conda install -c conda-forge verible\n  Homebrew:   brew install verible\n  GitHub:     Download from https://github\\.com/chipsalliance/verible/releases\nSee https://github\\.com/chipsalliance/verible for more details\\.","errorType":"exception","errorClass":"FileNotFoundError","httpStatus":null,"severity":"error","filePath":"src/solidlsp/language_servers/systemverilog_server.py","lineNumber":126,"sourceCode":"                        id=\"verible-ls\",\n                        description=\"verible-verilog-ls for Windows (x64)\",\n                        url=f\"{base_url}/verible-{verible_version}-win64.zip\",\n                        platform_id=\"win-x64\",\n                        archive_type=\"zip\",\n                        binary_name=f\"verible-{verible_version}/bin/verible-verilog-ls.exe\",\n                        sha256=\"729aa244036da4a4f87bc026d33555456fc7f7be79778d983ebe9c893f4a0ca3\",\n                        allowed_hosts=VERIBLE_ALLOWED_HOSTS,\n                    ),\n                ]\n            )\n\n            try:\n                dep = deps.get_single_dep_for_current_platform()\n            except RuntimeError:\n                dep = None\n\n            if dep is None:\n                raise FileNotFoundError(\n                    \"verible-verilog-ls is not installed on your system.\\n\"\n                    + \"Please install verible using one of the following methods:\\n\"\n                    + \"  conda:      conda install -c conda-forge verible\\n\"\n                    + \"  Homebrew:   brew install verible\\n\"\n                    + \"  GitHub:     Download from https://github.com/chipsalliance/verible/releases\\n\"\n                    + \"See https://github.com/chipsalliance/verible for more details.\"\n                )\n\n            verible_ls_dir = os.path.join(self._ls_resources_dir, \"verible-ls\")\n            executable_path = deps.binary_path(verible_ls_dir)\n\n            if not os.path.exists(executable_path):\n                log.info(f\"verible-verilog-ls not found. Downloading from {dep.url}\")\n                _ = deps.install(verible_ls_dir)\n\n            if not os.path.exists(executable_path):\n                raise FileNotFoundError(f\"verible-verilog-ls not found at {executable_path}\")\n","sourceCodeStart":108,"sourceCodeEnd":144,"githubUrl":"https://github.com/oraios/serena/blob/7fcbca7e62555ec2287ddb2f083caee805848ea6/src/solidlsp/language_servers/systemverilog_server.py#L108-L144","documentation":"The SystemVerilog language server requires the verible-verilog-ls binary. When no RuntimeDependency exists for the current platform (deps.get_single_dep_for_current_platform() raises RuntimeError or returns None — i.e. verible was not already on PATH and no downloadable artifact matches this OS/arch), this FileNotFoundError with install instructions (conda, Homebrew, GitHub releases) is raised. It means the library cannot locate or auto-download verible for this system.","triggerScenarios":"Starting the SystemVerilog LS on a machine where `verible-verilog-ls` is not on PATH AND the platform has no preconfigured download (unsupported OS/arch, e.g. linux-arm64, or the platform lookup raising RuntimeError), so _get_or_install_core_dependency finds dep == None.","commonSituations":"Fresh CI container or dev machine without verible installed; running on an architecture (arm64 Linux, Alpine/musl) not covered by the packaged verible releases; PATH not including a manually installed verible; pinned verible version with no release asset for the current platform.","solutions":["Install verible system-wide so it is found on PATH: `conda install -c conda-forge verible` or `brew install verible`.","Alternatively download the matching archive from https://github.com/chipsalliance/verible/releases and put `verible-verilog-ls` on PATH.","Confirm `which verible-verilog-ls` (or `where` on Windows) resolves after install; reopen the session so detection reruns.","If on an unsupported platform, build verible from source (bazel) and add it to PATH, since no auto-download exists for it.","Check that the configured verible version has release assets for your OS/arch; if not, switch the configured version."],"exampleFix":"// before (no verible on PATH)\n$ solidlsp start --ls systemverilog\n// after\n$ brew install verible\n$ which verible-verilog-ls\n/usr/local/bin/verible-verilog-ls","handlingStrategy":"validation","validationCode":"import shutil\nif shutil.which(\"verible-verilog-ls\") is None:\n    raise SystemExit(\n        \"Install verible first: conda install -c conda-forge verible \"\n        \"| brew install verible | GitHub releases\")","typeGuard":null,"tryCatchPattern":"try:\n    server = SolidLSP(systemverilog_config)\nexcept FileNotFoundError as e:\n    if \"verible-verilog-ls is not installed\" in str(e):\n        print(e)  # message contains exact conda/brew/GitHub install steps\n        sys.exit(1)\n    raise","preventionTips":["Install verible (conda-forge, Homebrew, or GitHub releases) and ensure it is on PATH before starting","Verify with `which verible-verilog-ls` in the same shell/CI environment the LS runs in","For unsupported platforms (e.g. linux-arm64), build verible from source and add it to PATH","Pin a verible version that has release assets for your OS/arch","In CI, install verible in the image/setup step rather than relying on auto-download"],"tags":["systemverilog","verible","missing-dependency","installation","file-not-found"],"backgroundTag":"language-server-binary-not-installed","analyzedSha":"7fcbca7e62555ec2287ddb2f083caee805848ea6","analyzedAt":"2026-08-29T00:04:09.619Z","schemaVersion":2},"datasetVersion":"2026-08-29T02:17:18.158Z"}