(no commit message)

diff --git a/HDL_workflow/coriolis2.mdwn b/HDL_workflow/coriolis2.mdwn
index 9313f10843634aa22d443d765420ce0fefe48e4e..e7df92ea4285b29f2ba5bd433fb26977516173d4 100644 (file)
--- a/HDL_workflow/coriolis2.mdwn
+++ b/HDL_workflow/coriolis2.mdwn
@@ -267,6 +267,64 @@ You can also tweak the layer display:
 
      coriolis-2.x/Linux.x86_64/Release.Shared/install/share/doc/coriolis2/en/html/index.html
 
+# Upgrading to latest yosys and nmigen in the chroot
+
+yosys in debian/stretch may not be enough to work with nmigen,
+therefore it's probably a good idea to upgrade.   if this was
+not a debian/stretch chroot, it would be a simple matter of
+"apt-get install yosys" however it's probably best, here to
+install from source.
+
+add the following to /etc/apt/sources.list:
+
+   deb-src http://ftp.uk.debian.org/debian stretch main
+
+then as root, in the chroot, run the following:
+
+    apt-get update
+    apt-get build-dep yosys
+    apt-get install clang
+    apt-get remove yosys
+
+this will remove debian/stretch yosys however getting the build
+dependencies is quick and easy enough.
+
+then, as the ordinary user, the following instructions can be followed
+(<http://www.clifford.at/yosys/download.html>)
+
+    cd ~
+    git clone https://github.com/cliffordwolf/yosys.git
+    cd yosys
+    make config-clang
+    make -j4
+
+as root, run:
+
+    make install
+
+# Installing python3.7 into debian/stretch chroot
+
+python 3.6 is a prerequisite for nmigen however something
+weird is going on, and it can't be installed.  instead,
+python 3.7 has to be installed instead.  we do this by
+adding debian/testing and 
+
+as root, in the
+chroot, add the following to /etc/apt/sources.list
+
+    deb http://ftp.de.debian.org/debian testing main
+
+then, also as root:
+
+    echo 'APT::Default-Release "stable";' | tee -a /etc/apt/apt.conf.d/00local
+    sudo apt-get update
+    apt-get -t testing install python3.7 python3-setuptools \
+               python3-jinja2 python3-pip
+
+At this point it becomes possible to follow the main
+instructions in [[HDL_workflow]] for installing nmigen,
+ieee754fpu, soc and nmutil.
+
 # Check out the libresoc "soclayout" repository
 
 See [[HDL_workflow]] for git clone instructions