-
Notifications
You must be signed in to change notification settings - Fork 7
/
build.sh
executable file
·62 lines (55 loc) · 1.72 KB
/
build.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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
#!/bin/bash
#
# Copyright (C) 2023 National University of Singapore
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program. If not, see <http://www.gnu.org/licenses/>.
if [ -t 1 ]
then
RED="\033[31m"
GREEN="\033[32m"
YELLOW="\033[33m"
BOLD="\033[1m"
OFF="\033[0m"
else
RED=
GREEN=
YELLOW=
BOLD=
OFF=
fi
set -e
VERSION=ab0c62fa280cea7b7d10bda57f9698acf1a8fd19
# STEP (1): install e9patch if necessary:
if [ "`readlink e9patch`" != "e9patch-$VERSION/e9patch" ]
then
if [ ! -f e9patch-$VERSION.zip ]
then
echo -e "${GREEN}$0${OFF}: downloading e9patch-$VERSION.zip..."
wget -O e9patch-$VERSION.zip \
https://github.com/GJDuck/e9patch/archive/$VERSION.zip
fi
echo -e "${GREEN}$0${OFF}: extracting e9patch-$VERSION.zip..."
unzip e9patch-$VERSION.zip
echo -e "${GREEN}$0${OFF}: building e9patch..."
cd e9patch-$VERSION
./build.sh
cd ..
ln -f -s e9patch-$VERSION/e9patch
ln -f -s e9patch-$VERSION/e9tool
ln -f -s e9patch-$VERSION/e9compile.sh
ln -f -s e9patch-$VERSION/examples/stdlib.c
echo -e "${GREEN}$0${OFF}: e9patch has been built..."
else
echo -e "${GREEN}$0${OFF}: using existing e9patch..."
fi