source ./guix/etc/profile
use guix
export yosys='yosys -m '$(guix shell -m ./manifest.scm -- bash -c 'echo $GUIX_ENVIRONMENT/lib/yosys/ghdl.so')
