-
Notifications
You must be signed in to change notification settings - Fork 0
/
install_dependencies_competitor.sh
executable file
·47 lines (47 loc) · 1005 Bytes
/
install_dependencies_competitor.sh
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
41
42
43
44
45
46
47
#!/bin/bash
sudo apt-get install -f -y flex bison libboost-dev libgraphviz-dev mkdocs
pip3 install Flask==2.0.0
pip3 install Jinja2==3.0.0
pip3 install materialx pylogics
cd submodules/cudd
git checkout "v3.0.0"
autoreconf -f -i
PREFIX="/usr/local"
./configure --enable-silent-rules --enable-obj --enable-dddmp --prefix=$PREFIX
make
sudo make install
cd ../mona
./configure && make && sudo make install
cd ../syft
git checkout "v0.1.1"
mkdir build
cd build
cmake -DCMAKE_BUILD_TYPE=Release ..
make -j
sudo make install
cd ../../lydia
git submodule update --init --recursive
mkdir build
cd build
cmake ..
make -j4 lydia lydia-bin
sudo make install lydia lydia-bin
make clean
cd ..
rm -rf build
cd ../aaltaf
mkdir cmake-build-release
cd cmake-build-release
cmake -DCMAKE_BUILD_TYPE=Release ..
make -j
cd ../syft/build
make clean
cd ..
rm -rf build
cd ../mona
make clean
cd ../cudd
make clean
pip3 install logaut
cd ..
echo "The script generating the graph via logaut and Lydia is root/competitors/lydia.sh"