https://twitter.com/whitequark/status/1263374929434677249

gistfile1.txt

### 11:26:27 attie@perdy:~/proj/nmigen [0] ### {1,/home/attie}
$ python3.8 -m venv venv
### 11:26:31 attie@perdy:~/proj/nmigen [0] ### {1,/home/attie}
$ . venv/bin/activate
### 11:26:37 attie@perdy:~/proj/nmigen [0] ### {1,/home/attie}
venv:$ pip3 install 'nmigen-yosys>=0.9.post4248.*'
Collecting nmigen-yosys>=0.9.post4248.*
  Downloading https://files.pythonhosted.org/packages/13/22/f7deea3304bfac4c3b8288548049536f48de1467d3111975a637ec2eb92c/nmigen_yosys-0.9.post4248.dev7-py3-none-any.whl (460kB)
     |████████████████████████████████| 460kB 2.7MB/s
Collecting wasmtime~=0.16.0 (from nmigen-yosys>=0.9.post4248.*)
  Downloading https://files.pythonhosted.org/packages/32/09/ca100a0fb118ef88218a0411b5b17da140cd057a865c8e18cad9d840fd07/wasmtime-0.16.0-py3-none-manylinux1_x86_64.whl (3.9MB)
     |████████████████████████████████| 3.9MB 8.8MB/s
Installing collected packages: wasmtime, nmigen-yosys
Successfully installed nmigen-yosys-0.9.post4248.dev7 wasmtime-0.16.0
WARNING: You are using pip version 19.2.3, however version 20.1.1 is available.
You should consider upgrading via the 'pip install --upgrade pip' command.
### 11:26:57 attie@perdy:~/proj/nmigen [0] ### {1,/home/attie}
venv:$ python3 -m nmigen_yosys -V
nMigen Yosys 0.9.post4248.dev7 (git sha1 aee43936)
### 11:27:02 attie@perdy:~/proj/nmigen [0] ### {1,/home/attie}
venv:$ uname -a
Linux perdy 4.15.0-74-generic #84-Ubuntu SMP Thu Dec 19 08:06:28 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux
### 11:27:14 attie@perdy:~/proj/nmigen [0] ### {1,/home/attie}
venv:$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 16.04.6 LTS
Release:        16.04
Codename:       xenial