summaryrefslogtreecommitdiff
path: root/bootstrap.sh
blob: 5d326c5d39d39713edff53f3bf84570c88661d12 (plain)
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
62
63
64
65
66
67
68
69
70
71
72
#!/bin/sh

esc() {
	: # comment out the following line to disable color output
	printf '\33[%dm' "$1"
}

echo_red() {
	esc 31
	echo "$1"
	esc 0
}

echo_green() {
	esc 32
	echo "$1"
	esc 0
}

# check OS/architecture

if uname -a | grep -i 'x86_64' | grep -i -q 'linux'; then
	: # all good
else
	echo_red "Only 64-bit Linux is supported. This doesn't seem to be 64-bit Linux."
	exit 1
fi

echo 'Processing stage 00...'
cd 00
rm -f out00
make -s out00
if [ "$(cat out00)" != 'Hello, world!' ]; then
	echo_red 'Stage 00 failed.'
	exit 1
fi
rm -f out00
cd ..

echo 'Processing stage 01...'
cd 01
rm -f out0[01]
make -s out01
if [ "$(./out01)" != 'Hello, world!' ]; then
	echo_red 'Stage 01 failed.'
	exit 1
fi
rm -f out01
cd ..

echo 'Processing stage 02...'
cd 02
rm -rf out0[12]
make -s out02
if [ "$(./out02)" != 'Hello, world!' ]; then
	echo_red 'Stage 02 failed.'
	exit 1
fi
cd ..

echo 'Processing stage 03...'
cd 03
rm -rf out0[23]
make -s out03
if [ "$(./out03)" != 'Hello, world!' ]; then
	echo_red 'Stage 03 failed.'
	exit 1
fi
cd ..


echo_green 'all stages completed successfully!'