Build

Improve portability of arch detection in Makefile #114

	# Copyright 2021, Proofcraft Pt Ltd
	#
	# SPDX-License-Identifier: BSD-2-Clause

	# Build standard set of docker containers

	name: Build

	on: [pull_request]

	jobs:
	build-amd64:
	name: Docker images (AMD64)
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- run: ./build.sh -v -b sel4
	# the following will also build the plain camkes image:
	- run: ./build.sh -v -b camkes -s cakeml -s rust

	build-arm64:
	name: Docker images (ARM64)
	runs-on: [self-hosted, macos, ARM64]
	steps:
	- name: "Unlock MacOS Keychain"
	run: security unlock-keychain -p ${{secrets.M2_MINI_PWD}}
	- uses: actions/checkout@v4
	# don't use cached images on the self-hosted runner to make sure we are
	# picking up current Debian repo state. The GitHub runners start from
	# scratch, so don't need it.
	- run: ./build.sh -rv -b sel4
	# the following will also build the plain camkes image:
	- run: ./build.sh -rv -b camkes -s cakeml -s rust

	# This needs to rebuild the seL4 and camkes images (apart from cakeml/rust),
	# but putting l4v in the same job as the large camkes-cakeml-rust image
	# overflows the disk space of the GitHub runner.
	build-l4v:
	name: Docker images (l4v)
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- run: ./build.sh -v -b sel4
	- run: ./build.sh -v -b camkes
	- run: ./build.sh -v -b l4v

Provide feedback