symgdb/install.sh at master · SQLab/symgdb · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
#!/bin/bash
sudo apt-get install -y build-essential libcap-dev cmake libboost-all-dev libcapstone-dev gcc-multilib

# Install z3
python2 -c "import z3"
NOT_INSTALLED=$?
if [ $NOT_INSTALLED == 1 ]
then
  git clone https://github.com/Z3Prover/z3
  cd z3
  python scripts/mk_make.py --python
  cd build
  make
  sudo make -j $(grep processor < /proc/cpuinfo | wc -l) install
  cd ../..
fi

# Install triton
python2 -c "import triton"
NOT_INSTALLED=$?
if [ $NOT_INSTALLED == 1 ]
then
  git clone https://github.com/JonathanSalwan/Triton.git
  cd Triton
  mkdir build
  cd build
  cmake ..
  sudo make -j $(grep processor < /proc/cpuinfo | wc -l) install
  cd ../..
fi

# Install python modules
if [ !$(which pip2) ]; then
  sudo apt install python-pip
fi
sudo pip2 install --upgrade -r requirements.txt

# Build gdb
sudo apt install texinfo -y
./build.sh