@adanskana Follow-up, #ghdl 5.0.1 is now part of #guixscience, a #guix specialized channel [1].
Similarly, ghdl-lsp, the #lsp server based on ghdl, has been merged.
Their corresponding -next variants, in the electronics channel [2], provide most recent revisions, not yet released, of both.
guix install ghdl-llvm-next ghdl-lsp-next
[1] https://codeberg.org/guix-science/guix-science.git
[2] https://git.sr.ht/~csantosb/guix.channel-electronics
@adanskana
#ghdl, in its 5.0.1 llvm variant, is hosted in the electronics channel, and waiting to be merged in #guixscience channel (which provides guix substitutes), where it belongs, see
https://codeberg.org/guix-science/guix-science/pulls/87
The reason for not being part of #guix itself is its dependency on #gnat ada compiler, which cannot be bootstraped at this point. Remember we also have ghdl #lsp and the ghdl #yosys plugin.
The channel aggregator is here, by the way: https://toys.whereis.social/
This pr updates ghdl to its most up to date release, and renames `ghdl-clang` to `ghdl-llvm` for consistency with upstream artifacts. It also fixes the two other packages affected by this renaming. Then, it adds a new package, `ghdl-lsp`, including the language server capabilities of ghdl (in ...
#cocotb, a #freesoftware cosimulation testbench environment for verifying #VHDL and #SystemVerilog #RTL using #Python, is part now of #guixscience channel. It may be used as any other #guix package with a simple
guix install python-cocotb
This means too that pre-built substitutes are available online 🥳.
@mousebot Ahah! I've not read my thread…
Maybe we have the same problem with the same repository with @civodul. Maybe it’s about #GuixScience… 😀
Thanks for the pointer.
#ghdl (in its #clang variant), a #freesofware #vhdl analyzer, compiler, simulator and synthesizer, is part now of #guixscience channel. It may be used as any other #guix package with a simple
guix install ghdl-clang
This means too that pre-built substitutes are available online.
Cayetano Santos
Simon Tournier