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 $CHU_HOME/hdl_tools
41 chown
-R $MYNAME hdl_tools
42 chgrp
-R $MYNAME hdl_tools