23cbd93304876fa421e537ac7f7d674827c625e5
3 then echo "Please run as root"
8 apt-get build-dep yosys
-y
9 apt-get remove yosys
-y
15 git clone https
://github.com
/cliffordwolf
/yosys.git
16 git clone https
://github.com
/YosysHQ
/SymbiYosys.git sby
17 git clone https
://github.com
/SRI-CSL
/yices2.git
18 git clone https
://github.com
/Z3Prover
/z3.git
35 python
scripts
/mk_make.py
40 cd $SUDO_USER/home
/hdl_tools
41 chown
-R $SUDO_USER hdl_tools
42 chgrp
-R $SUDO_USER hdl_tools