Nice! Looks like some enterprising hackers have already added the toolchain to GuixSD. https://git.savannah.gnu.org/cgit/guix.git/tree/gnu/packages/fpga.scm?id=v0.12.0-3241-g43ba5dd
clacke@libranet.de ❌, der.hans, Christopher Allan Webber likes this.