-
Notifications
You must be signed in to change notification settings - Fork 0
/
compile.sh
executable file
·28 lines (27 loc) · 924 Bytes
/
compile.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
#!/usr/bin/env bash
if [ $1 == "docker"];
then
docker run -d -v "${PWD}:/root" --network="host" --security-opt seccomp:unconfined -ti --name $2 agodio/itba-so:1.0
elif [ $1 == "buddy" ];
then
docker start $2
docker exec -it $2 make clean -C /root/Toolchain
docker exec -it $2 make all -C /root/Toolchain
docker exec -it $2 make clean -C /root/
docker exec -it $2 make all MM=BUDDY -C /root/
docker stop $2
elif [ $1 == "standard" ];
then
docker start $2
docker exec -it $2 make clean -C /root/Toolchain
docker exec -it $2 make all -C /root/Toolchain
docker exec -it $2 make clean -C /root/
docker exec -it $2 make all MM=STANDARD -C /root/
docker stop $2
elif [ $1 == "clean" ];
then
docker start $2
docker exec -it $2 make clean -C /root/Toolchain
docker exec -it $2 make clean -C /root/
docker stop $2
fi