AWS-LC build on MacOS-14 is currently failing #48

	name: Makefile CI

	on:
	# Run using manual triggers from GitHub UI:
	# https://docs.github.com/en/actions/managing-workflow-runs/manually-running-a-workflow
	workflow_dispatch: {}
	# Run on every push:
	push: {}
	# Run on pull request activity:
	pull_request: {}


	jobs:
	build:
	strategy:
	matrix:
	os: [ubuntu-latest, macos-14] # aarch64 machine for cosim.

	runs-on: ${{ matrix.os }}

	steps:

	- uses: DeterminateSystems/nix-installer-action@main

	- name: Install cadical
	run: nix profile install nixpkgs#cadical

	- uses: actions/checkout@v4

	# We would like to use `leanprover/lean-action`, but it doesn't work on macOS just yet:
	# https://github.com/leanprover/lean-action/issues/83
	- name: Install elan
	run: \|
	set -o pipefail
	curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf \| sh -s -- --default-toolchain none -y
	~/.elan/bin/lean --version
	echo "$HOME/.elan/bin" >> $GITHUB_PATH

	- name: Cache `.lake` folder
	id: cache-lake
	uses: actions/cache@v4
	with:
	path: .lake
	key: ${{ runner.os }}-lake

	- name: Setup Go
	# if: ${{ runner.os == 'macOS' }}
	uses: actions/setup-go@v4
	with:
	go-version: '>=1.18'

	- name: Build AWS-LC
	# if : ${{ runner.os == 'macOS' }}
	run: \|
	./scripts/build_awslc.sh

	# - name: Run ELFLoader Tests for AWS-LC (MacOS)
	# if : ${{ runner.os == 'macOS' }}
	# run: \|
	# make awslc_elftests

	- name: Run LNSym Makefile (Ubuntu)
	if : ${{ runner.os != 'macOS' }}
	run: \|
	make all

	- name: Run LNSym Cosimulation (MacOS)
	if : ${{ runner.os == 'macOS' }}
	run: \|
	make cosim NUM_TESTS=100

Provide feedback