Comments (5)
I'm not sure exactly why but as of #179 it seems to be building on newer rust versions, I just tested it on rust 1.74.1
from veridian.
Thanks! I've just tested with rustc 1.75.0 (82e1608df 2023-12-21)
cargo install --git https://github.com/vivekmalneedi/veridian.git --all-features
and it installs fine in a fedora-minimal container (it needs clang-libs for libclang.so and openssl-devel to build).
I tried again also running tests (after reading my previous message) with cargo test --all-features after cloning the repo:
failures:
---- diagnostics::tests::test_verible_syntax stdout ----
thread 'diagnostics::tests::test_verible_syntax' panicked at src/diagnostics.rs:298:74:
called `Option::unwrap()` on a `None` value
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
failures:
diagnostics::tests::test_verible_syntax
test result: FAILED. 20 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
Would it be better to track this feature in a new issue and close this one?
from veridian.
that test is for syntax checking with verible so if that isn't installed it will fail. I guess it could show a nicer error message but it's just a test so I haven't bothered.
from veridian.
I do not know any rust... is something like this acceptable?
let errors = verible_syntax(&doc, "verible-verilog-syntax", &[])
.expect("verible-verilog-syntax not found, test not run");
reference
Line 298 in 87bb528
from veridian.
yes, that would work as a better error message, ideally we would be able to skip the test if verible wasn't present but I don't think that functionality exists in the cargo test runner.
from veridian.
Related Issues (19)
- Language server crash when used with vscode (panick at 'Attempt to index past end of Rope') HOT 2
- Add config option to set verible format flags HOT 2
- Verible now has inbuilt language server support HOT 1
- No slang errors/messages anymore HOT 3
- Add default configuration for nvim-lspconfig HOT 1
- [Question] Is there any way to set default path for verible? HOT 1
- [Feature Request] Add support for Verilator as a diagnostic backend in Veridian HOT 1
- Veridian always pegs 2 cores, even when no changes have happened HOT 1
- Why doesn't the formatter work as expected when I modified the veridian.yml? HOT 3
- Add support to go to definition in the whole workspace HOT 2
- [Feature Request] Windows Release HOT 2
- [Feature Request] Renaming Symbol HOT 3
- . completion not working HOT 1
- Request: add this extension to the VS Code Extension "store" so others can find it easily
- 100% CPU utilization HOT 2
- Include the filename in the verilator regex HOT 1
- dot completion not showing correct data HOT 2
- roadmap for initial release
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from veridian.