-
Notifications
You must be signed in to change notification settings - Fork 232
40 lines (35 loc) · 940 Bytes
/
macos-build.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
name: Build FStar Binaries for MacOS
on:
workflow_dispatch:
jobs:
build:
runs-on: macos-latest
steps:
- name: Checkout FStar
uses: actions/checkout@v3
with:
path: FStar
- name: Checkout everest
uses: actions/checkout@v3
with:
repository: project-everest/everest
path: FStar/.github/everest
- name: Install .NET SDK
uses: actions/setup-dotnet@v3
with:
dotnet-version: '6.0.x'
- name: Setup dependencies
run: ./FStar/.github/setup-macos.sh
- name: Build FStar
run: |
source FStar/.github/env.sh
make -j -C FStar all
- name: Package FStar
run: |
source FStar/.github/env.sh
PACKAGE_DOCS=0 make -j -C FStar package
- name: Upload artifact
uses: actions/upload-artifact@v3
with:
name: fstar-Darwin_x86_64.tar.gz
path: FStar/src/ocaml-output/fstar.tar.gz