(In reply to Luke Kenneth Casson Leighton from comment #0)
> https://git.libre-soc.org/?p=dev-env-setup.git;a=commitdiff;
> h=deadc7b72ca4ba28f0ec3bb4ebae720ef2d56521
> 
> +python3 setup.py install
> +cd ../nmutil
> +python3 setup.py install
> +cd ../ieee754fpu
> +git submodule update --init --recursive
> +python3 setup.py install
> +cd ../nmigen-soc
> +python3 setup.py install
> 
> is there a reason why "install" is used instead of the default practice,
> "develop"?
> 
> "develop" allows in-place editing of the code actively under development,
> whereas "install" is a forced *copying* of the code into a system-wide
> location that is not in any way conveniently editable and definitely not
> under source revision control management.

That's not my script, I just checked and dev-env-setup/hdl-dev-repos uses the correct 'python3 setup.py develop'

(In reply to Cole Poirier from comment #1)

> That's not my script, I just checked and dev-env-setup/hdl-dev-repos uses
> the correct 'python3 setup.py develop'

i know.  that's why the bugreport is assigned to Tobias, who, if you
are following the daily updates, or check the git logs, you will see did
write it.

http://lists.libre-riscv.org/pipermail/libre-riscv-dev/2020-July/008560.html

https://git.libre-soc.org/?p=dev-env-setup.git;a=commitdiff;h=deadc7b72ca4ba28f0ec3bb4ebae720ef2d56521

Closing this as it appears to have been resolved.