3 then echo "Please run as root using 'sudo bash'"
7 # this is a bit of a cheat, by relying on debian to pull in all the
8 # build dependencies. saves time researching how to get and list them
11 apt-get build-dep yosys
-y
12 apt-get remove yosys
-y
13 apt-get build-dep ghdl
-y # this is sort-of what ghdl-install does, hmmm
15 mkdir
-p /home
/$SUDO_USER/src
16 cd /home
/$SUDO_USER/src
20 git clone https
://git.libre-soc.org
/git
/yosys.git
21 git clone https
://github.com
/YosysHQ
/SymbiYosys.git sby
22 git clone https
://github.com
/SRI-CSL
/yices2.git
23 git clone https
://github.com
/Z3Prover
/z3.git
24 # XXX see ghdl-install this is really best done with that
25 git clone https
://github.com
/ghdl
/ghdl
26 git clone https
://github.com
/ghdl
/ghdl-yosys-plugin
28 # yosys 0.13 has been found to be stable...
30 git checkout yosys-0.13
-with-write_jny
35 # ... but things are in the middle of a transition so use this version of ghdl
37 git checkout
263c843ed49f59cb4cc3038bafcac2b9238ebad4
38 .
/configure
--with-llvm-config
42 # ...with this specific version of the yosys-ghdl-plugin
43 cd ..
/ghdl-yosys-plugin
44 git checkout c9b05e481423c55ffcbb856fd5296701f670808c
48 # symbiyosys should be fine though
60 python
scripts
/mk_make.py
65 cd /home
/$SUDO_USER/src
/hdl_tools