[simpleton@summary-bream ~/Da-KComputer/Graphics_take_2]$ python3 -m pip install --user --upgrade nmigen[builtin-yosys]
Requirement already up-to-date: nmigen[builtin-yosys] in /home/simpleton/.local/lib/python3.6/site-packages
  nmigen 0.2 does not provide the extra 'builtin-yosys'
Collecting setuptools (from nmigen[builtin-yosys])
  Using cached https://files.pythonhosted.org/packages/8e/11/9e10f1cad4518cb307b484c255cae61e97f05b82f6d536932b1714e01b47/setuptools-49.2.0-py3-none-any.whl
Requirement already up-to-date: pyvcd~=0.1.4 in /home/simpleton/.local/lib/python3.6/site-packages (from nmigen[builtin-yosys])
Requirement already up-to-date: Jinja2 in /home/simpleton/.local/lib/python3.6/site-packages (from nmigen[builtin-yosys])
Requirement already up-to-date: six in /home/simpleton/.local/lib/python3.6/site-packages (from pyvcd~=0.1.4->nmigen[builtin-yosys])
Requirement already up-to-date: MarkupSafe>=0.23 in /home/simpleton/.local/lib/python3.6/site-packages (from Jinja2->nmigen[builtin-yosys])
Installing collected packages: setuptools
Successfully installed setuptools-49.2.0
[simpleton@summary-bream ~/Da-KComputer/Graphics_take_2]$ python3 -m nmigen_boards.arty_z7
Traceback (most recent call last):
  File "/usr/lib64/python3.6/runpy.py", line 193, in _run_module_as_main
    "__main__", mod_spec)
  File "/usr/lib64/python3.6/runpy.py", line 85, in _run_code
    exec(code, run_globals)
  File "/home/simpleton/.local/lib/python3.6/site-packages/nmigen_boards/arty_z7.py", line 175, in <module>
    ArtyZ720Platform().build(Blinky(), do_program=True)
  File "/home/simpleton/.local/lib/python3.6/site-packages/nmigen/build/plat.py", line 76, in build
    require_tool(tool)
  File "/home/simpleton/.local/lib/python3.6/site-packages/nmigen/_toolchain.py", line 36, in require_tool
    format(name, env_var))
nmigen._toolchain.ToolNotFound: Could not find required tool yosys in PATH. Place it directly in PATH or specify path explicitly via the YOSYS environment variable