Haozhe Zhu

@hzeller Still fail but other bugs (It seems that I have met these bugs). Note that I used local bison & flex installed by brew.

OS: Darwin XXXX-MacBookPro.local 22.5.0 Darwin Kernel Version 22.5.0: Thu Jun 8 22:22:22 PDT 2023; root:xnu-8796.121.3~7/RELEASE_X86_64 x86_64 bison: 3.8.2 flex: 2.6.4 I just downloaded them form homebrew and then added to...

@hzeller I tried lang server downloaded from release on a custom IDE platform, and it works (at least lint). But Verible extension in VSCode cannot support downloaded binary on macOS.

So are these messages just ignorable warning messages?! I have added binary to PATH, but vscode do not use them in PATH. Looks that the function `checkIfBinaryExists(binaryPath: string)` doesn't work...

ignore me. When I change the extension settings from the default “verible-verilog-ls” to a specific path “/...../...../...../bin/verible-verilog-ls”. it can use my downloaded one automatically. Let me try your proposal. but...

> Yes, if the binary is in your path, it would just work. > If it does not find verible in the `$PATH`, it attempts to download it, so that...

I am not sure whether it is just due to my local environment. So you can ignore it temporarily, if nobody else reports.

@hzeller The situation is strange. I cloned the variable repo (master branch), and run bazel build: ```shell bazel build --jobs=12 -c opt //... ``` and it failed. (still the multi...

maybe this can be also acceptable? ```SystemVerilog input logic signed [W - 1 : 0] a, b, output logic signed [ W : 0] y ``` This style is commonly...