@guix Other than as package manager on top of #archlinux, I’m using #guix for electronics design, mostly #vhdl and #fpga related stuff.
I run simulations with help of #hdlmake using #ghdl compiler, #osvvm for verification, #cocotb for testbenches, #yosys for synthesis, #nextpnr for placement and routing and #openFPGALoader for flashing. Finally, I use my own Guix channel to package gateware and run #ci tests on #sourcehut Guix image. A demo toy example of this runs here
Uses verification #osvvm library and #openlogic standard #vhdl, along with #ghdl for simulation, #hdlmake for project creation and #yosys for synthesis.
All dependencies are manipulated with a declarative manifest file.
https://git.sr.ht/~csantosb/ip.alu/tree/test/item/.builds/manifest.scm
Trying to get `ghdl-lsp` working on #Guix. Running the program from the terminal gives the following error: https://paste.debian.net/1371473/. Does anyone know how to fix this? I have `ghdl-llvm` and `ghdl-lsp` in the same profile, so how could it be unable to find the package?
@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 ...
Following my recent post about #GHDL, I was made aware that there is no bootstrap chain for #GNAT! For such a widely used and historically significant language like #Ada (totally not biased), it seems like a strange hole to be left. Plus, it would mean that GNAT could be included in full-source distributions like #Guix.
Thankfully, there is an #NLNet project [1] just for this! I'm glad that there's some real resources being devoted to this. LMK if anyone has news!
Was about to attempt to package #GHDL for #Guix... spent an hour before I stumbled across the guix-electronics[1] channel!! I know there's a channel aggregator somewhere but I always forget to check it before making a package...
Funny that it isn't upstreamed yet though. GHDL seems like a package that would fit into Guix proper very well, we have a `fpga.scm` file already anyway. Perhaps its accomodating all the different compile-time variations?
On combining #guix, #ghdl, #vunit and #sourcehut to perform #ci testing of digital electronic designgs in #vhdl for #fpga, using exclusively #freesoftware.
Cayetano Santos
FLF
Ada S