(no commit message)

diff --git a/HDL_workflow.mdwn b/HDL_workflow.mdwn
index 4abf82a9e5652f73fad1f8aacb906197ae701dc4..6437ba34189da7d056b7dc3f65315c4a24ed2fe4 100644 (file)
--- a/HDL_workflow.mdwn
+++ b/HDL_workflow.mdwn
@@ -16,13 +16,23 @@ A basic GUI desktop is necessary: fvwm2, xfce, lxde are perfectly sufficient (al
 
 Whilst many resources advocate sudo in front of all of the root-level command below, this is extremely irritating. run "sudo bash", get a root prompt, and save some typing.
 
-* # apt-get install build-essential
-* # apt-get install git python3.7 python3.7-dev python-nosetest3
-* # apt-get install graphviz xdot
+* apt-get install build-essential
+* apt-get install git python3.7 python3.7-dev python-nosetest3
+* apt-get install graphviz xdot
 * return to user prompt (ctrl-d)
 
 ## yosys
 
+Follow the source code (git clone) instructions here: <http://www.clifford.at/yosys/download.html>
+
+Do not try to use a fixed revision, nmigen is evolving and frequently interacts with yosys
+
+## symbiyosys
+
+Follow the instructions here: <https://symbiyosys.readthedocs.io/en/latest/quickstart.html#installing>
+
+You do not have to install all of those (avy, boolector can be left out if desired).
+
 ## nmigen
 
 nmigen may be installed as follows: