kokoro/ubuntu/build.sh

#!/bin/bash

# Fail on any error.
set -e
# Fail on any part of a pipeline failing.
set -o pipefail
# Treat unset variables as an error.
set -u
# Display commands being run.
set -x

# Detect server vs local run. Local run should be from the project's root
# directory.
if [ -v KOKORO_JOB_NAME ]
then
	# Server
	cd git/hafnium
else
	# Local
	echo "Testing kokoro build locally..."
fi

#
# Step 1: make sure it builds.
#

export ARCH=aarch64
export PLATFORM=qemu

# TODO: add a gcc-4.9 or above prebuilt to check the gcc build too?
# Check the build works.
make
#TODO: static analysis with make check

#
# Step 2: make sure it works.
#

./kokoro/ubuntu/test.sh

#
# Step 3: make sure the code looks good.
#

make format
make tidy

if [[ `git status --porcelain` ]]
then
	echo "Run \`make format\' and \`make tidy\` locally to fix this."
	exit 1
fi