diff options
Diffstat (limited to 'tools/build-arm.sh')
-rw-r--r-- | tools/build-arm.sh | 110 |
1 files changed, 110 insertions, 0 deletions
diff --git a/tools/build-arm.sh b/tools/build-arm.sh new file mode 100644 index 000000000..dc275e4b2 --- /dev/null +++ b/tools/build-arm.sh @@ -0,0 +1,110 @@ +#!/bin/sh + +#old version: +#IMAGE_ID=ami-0fa8979d18f69948b +IMAGE_ID=ami-0cd6b53a434812702 +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 -o "StrictHostKeyChecking=no" -i "~/.ssh/$KEY_NAME.pem" admin@$IPADDR uname -a + +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 |