|
Lines 1-14
Link Here
|
| 1 |
#!/bin/bash |
1 |
#!/bin/bash |
| 2 |
if [ "$EUID" -ne 0 ] |
|
|
| 3 |
then echo "Please run as root" |
| 4 |
exit |
| 5 |
fi |
| 6 |
|
2 |
|
| 7 |
apt-get update -y |
3 |
sudo apt-get update -y |
| 8 |
apt-get build-dep yosys -y |
4 |
sudo apt-get build-dep yosys -y |
| 9 |
apt-get remove yosys -y |
5 |
sudo apt-get remove yosys -y |
| 10 |
|
6 |
|
| 11 |
cd $SUDO_USER/home |
7 |
cd $HOME |
| 12 |
mkdir hdl_tools |
8 |
mkdir hdl_tools |
| 13 |
cd hdl_tools |
9 |
cd hdl_tools |
| 14 |
|
10 |
|
|
Lines 20-42
git clone https://github.com/Z3Prover/z3.git
Link Here
|
| 20 |
cd yosys |
16 |
cd yosys |
| 21 |
make config-clang |
17 |
make config-clang |
| 22 |
make -j$(nproc) |
18 |
make -j$(nproc) |
| 23 |
make install |
19 |
sudo make install |
| 24 |
|
20 |
|
| 25 |
cd ../sby |
21 |
cd ../sby |
| 26 |
make install |
22 |
sudo make install |
| 27 |
|
23 |
|
| 28 |
cd ../yices2 |
24 |
cd ../yices2 |
| 29 |
autoconf |
25 |
autoconf |
| 30 |
./configure |
26 |
./configure |
| 31 |
make -j$(nproc) |
27 |
make -j$(nproc) |
| 32 |
make install |
28 |
sudo make install |
| 33 |
|
29 |
|
| 34 |
cd ../z3 |
30 |
cd ../z3 |
| 35 |
python scripts/mk_make.py |
31 |
python scripts/mk_make.py |
| 36 |
cd build |
32 |
cd build |
| 37 |
make -j$(nproc) |
33 |
make -j$(nproc) |
| 38 |
make install |
34 |
sudo make install |
| 39 |
|
|
|
| 40 |
cd $SUDO_USER/home/hdl_tools |
| 41 |
chown -R $SUDO_USER hdl_tools |
| 42 |
chgrp -R $SUDO_USER hdl_tools |