forked from leanprover/LNSym
-
Notifications
You must be signed in to change notification settings - Fork 0
49 lines (37 loc) · 1.08 KB
/
makefile.yml
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
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
- uses: leanprover/lean-action@v1
with:
auto-config: false
use-mathlib-cache: false
use-github-cache: true
- name: Build AWS-LC and run ELFSage tests (Ubuntu)
if : ${{ runner.os != 'macOS' }}
run: |
make awslc_elf
- 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