It is possible now to run your #vhdl syntheis using #ghdl and @yosyshq with:
guix ghdl-clang ghdl-yosys-plugin -- yosys yourscrip
No mess with dependencies or host configuration, only #guix is necessary.
https://infosec.press/csantosb/guix-crash-course