check out specific version of yosys needed for ls180 build
[dev-env-setup.git] / hdl-tools-yosys
1 #!/bin/bash
2 if [ "$EUID" -ne 0 ]
3 then echo "Please run as root"
4 exit
5 fi
6
7 apt-get update -y
8 apt-get build-dep yosys -y
9 apt-get remove yosys -y
10
11 cd $SUDO_USER/home
12 mkdir hdl_tools
13 cd hdl_tools
14
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
19
20 cd yosys
21 make config-clang
22 make -j$(nproc)
23 make install
24
25 cd ../sby
26 make install
27
28 cd ../yices2
29 autoconf
30 ./configure
31 make -j$(nproc)
32 make install
33
34 cd ../z3
35 python scripts/mk_make.py
36 cd build
37 make -j$(nproc)
38 make install
39
40 cd $SUDO_USER/home/hdl_tools
41 chown -R $SUDO_USER hdl_tools
42 chgrp -R $SUDO_USER hdl_tools