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
14 cd /home
/$SUDO_USER/src
18 git clone https
://github.com
/cliffordwolf
/yosys.git
19 git clone https
://github.com
/YosysHQ
/SymbiYosys.git sby
20 git clone https
://github.com
/SRI-CSL
/yices2.git
21 git clone https
://github.com
/Z3Prover
/z3.git
38 python
scripts
/mk_make.py
43 cd /home
/$SUDO_USER/src
/hdl_tools
44 chown
-R $SUDO_USER hdl_tools
45 chgrp
-R $SUDO_USER hdl_tools