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