openXC7

[fricklerhandwerk]

Free and open source FPGA toolchain for AMD/Xilinx Series 7 chips

• NLnet project
• source code
• unfinished flake.nix

This seems to be a non-trivial project with multiple dependencies. Break down into separate issues as needed.

[jleightcap]

@ngi-nix/moss is claiming this!

[hansfbaier]

Thanks for the devshell! I still have an issue.
If I try to load the yosys-ghdl plugin like this:

$ yosys
yosys> plugin -i /nix/store/wfhih024a3hcri75dzbhphw622ra3p0w-yosys-ghdl-2022.01.11/share/yosys/plugins/ghdl.so
ERROR: Can't load module `/nix/store/wfhih024a3hcri75dzbhphw622ra3p0w-yosys-ghdl-2022.01.11/share/yosys/plugins/ghdl.so': libgnat-10.so: cannot open shared object file: No such file or directory

Then it misses the mentioned library. How can you add shared library dependencies to the devshell?
Also, how can the user get the path to the plugin to load (eg in a Makefile), so that the nix store location does not need to be hardcoded in the Makefile?

[albertchae]

@hansfbaier thanks for the report. We'll look into fixing that and also your question about the path for the Makefile during our next mob session on Thursday

[jleightcap]

Yeah, seconding the thanks for the update. I wanted to look at using the upstream yosys plugins during our next mob (see: https://github.com/NixOS/nixpkgs/blob/master/pkgs/development/compilers/yosys/plugins/ghdl.nix)

Without having looked closely at the locally defined builds/versions, was there a reason for packaging separately outside of upstream?

[hansfbaier]

I nead a special yosys version (0.17) as later versions trigger a non implemented feature in nextpnr-xilinx.

[jleightcap]

Thanks for the info, I see how you selectively pulled definitions in from upstream at the correct version. We ended up meeting for shorter than expected today, hoping to have more of an update when we meet this Saturday 🙂

[albertchae]

@hansfbaier how are you starting running the dev shell? We tried the following on 2 different machines and were able to load the yosys-ghdl plugin successfully

[~/toolchain-nix]$ nix develop
[nix(openXC7)] yosys

 /----------------------------------------------------------------------------\
 |                                                                            |
 |  yosys -- Yosys Open SYnthesis Suite                                       |
 |                                                                            |
 |  Copyright (C) 2012 - 2020  Claire Xenia Wolf <claire@yosyshq.com>         |
 |                                                                            |
 |  Permission to use, copy, modify, and/or distribute this software for any  |
 |  purpose with or without fee is hereby granted, provided that the above    |
 |  copyright notice and this permission notice appear in all copies.         |
 |                                                                            |
 |  THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES  |
 |  WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF          |
 |  MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR   |
 |  ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES    |
 |  WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN     |
 |  ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF   |
 |  OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.            |
 |                                                                            |
 \----------------------------------------------------------------------------/

 Yosys 0.17 (git sha1 yosys-0.17, gcc 11.3.0 -fPIC -Os)


yosys> plugin -i /nix/store/wfhih024a3hcri75dzbhphw622ra3p0w-yosys-ghdl-2022.01.11/share/yosys/plugins/ghdl.so

yosys>