blob: dc13e143544468b68cade13c62213e2c4e65d164 (
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
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
|
#!/bin/sh
IMAGE_ID=ami-0fa8979d18f69948b
INSTANCE_TYPE=t4g.2xlarge
KEY_NAME=debian-arm-us-east-2
SECURITY_GROUP_ID=sg-086ffbadc286c5c00
ARTIFACTS="${ARTIFACTS:-build-artifacts-$(date +%s)}"
STARTTIME=$(date +%H:%M)
# Spin up an ARM build machine using aws cli, build pandoc, and
# download the artifact.
#
# We need to use us-east-2; since my us-west-1 has EC2-classic.
# docs.aws.amazon.com/AWSEC2/latest/UserGuide/ec2-classic-platform.html
aws configure set default.region us-east-2
echo "Creating instance..."
aws ec2 run-instances --image-id "$IMAGE_ID" --count 1 --instance-type "$INSTANCE_TYPE" --block-device-mapping 'DeviceName=/dev/xvda,Ebs={VolumeSize=16}' --key-name "$KEY_NAME" --security-group-ids "$SECURITY_GROUP_ID" > ec2.json
jq < ec2.json
# Now get the public IP address.
INSTANCEID=$(jq '.Instances[0].InstanceId' ec2.json | sed -e 's/"//g')
IPADDR=$(aws ec2 describe-instances --instance-ids="$INSTANCEID" --query 'Reservations[0].Instances[0].PublicIpAddress' | sed -e 's/"//g')
echo "IP address is $IPADDR"
clean_up() {
echo "Terminating the instance in 20 seconds..."
echo "Ctrl-C to preserve it."
sleep 20 && aws ec2 terminate-instances --instance-ids "$INSTANCEID"
}
trap clean_up EXIT
echo "Waiting for instance to start up..."
STATUS=none
while [ "$STATUS" != "running" ]
do
sleep 20
STATUS=$(aws ec2 describe-instance-status --instance-id "$INSTANCEID" | jq '.InstanceStatuses[0].InstanceState.Name' | sed -e 's/"//g')
echo "...$STATUS"
done
# At this point you can connect via SSH, or run this script:
# $ ssh -i ~/.ssh/debian-arm-us-east-2.pem admin@$IPADDR
SSH="ssh -i ~/.ssh/$KEY_NAME.pem admin@$IPADDR"
echo "Provisioning..."
$SSH <<EOF
sudo apt-get update
sudo apt-get upgrade -y
sudo apt-get install -y apt-transport-https ca-certificates curl gnupg git make
curl -fsSL https://download.docker.com/linux/debian/gpg | sudo gpg --dearmor -o /usr/share/keyrings/docker-archive-keyring.gpg
echo \
"deb [arch=arm64 signed-by=/usr/share/keyrings/docker-archive-keyring.gpg] https://download.docker.com/linux/debian \
\$(lsb_release -cs) stable" | sudo tee /etc/apt/sources.list.d/docker.list
sudo apt-get update
sudo apt-get install -y docker-ce docker-ce-cli containerd.io
sudo groupadd docker
sudo usermod -aG docker admin
EOF
echo "Building..."
($SSH <<EOF
mkdir src
cd src || exit
git clone https://github.com/jgm/pandoc
cd pandoc || exit
make debpkg
EOF
) &
# Now we need to wait for the build to complete (this can take 3 hours).
while true
do
sleep 20
# print last line of log output and free memory
$SSH "tail -n1 src/pandoc/docker.log && free -h | grep Mem"
# Check to see if the artifact has been produced
$SSH "ls -l src/pandoc/linux/artifacts/DONE 2>/dev/null" && break
done
# Retrieve the artifacts
echo "Successful build. Retrieving artifacts..."
scp -i "$HOME/.ssh/$KEY_NAME.pem" -r "admin@$IPADDR:src/pandoc/linux/artifacts" "$ARTIFACTS"
echo "Artifacts saved in $ARTIFACTS"
ls "$ARTIFACTS"
ENDTIME=$(date +%H:%M)
echo "Started: $STARTTIME"
echo "Finished: $ENDTIME"
exit 0
|
