-
Notifications
You must be signed in to change notification settings - Fork 2.1k
43 lines (36 loc) · 1.08 KB
/
devsetup.yml
File metadata and controls
43 lines (36 loc) · 1.08 KB
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
# GitHub Actions workflow to set up and build Infer in different development environments
name: devsetup
on:
- pull_request
jobs:
devsetup-build:
strategy:
matrix:
os:
- ubuntu-latest
- macos-26
- macos-26-intel
ocaml-compiler:
- ocaml-variants.5.3.0+options
fail-fast: false
runs-on: ${{ matrix.os }}
steps:
- name: Checkout code
uses: actions/checkout@v6
- name: Install macOS dependencies
if: runner.os == 'macOS'
run: brew install automake coreutils zlib
- name: Setup Java SDK
uses: actions/setup-java@v5
with:
distribution: 'temurin'
java-version: '11'
- name: Use OCaml ${{ matrix.ocaml-compiler }}
uses: ocaml/setup-ocaml@v3
with:
ocaml-compiler: ${{ matrix.ocaml-compiler }}
- run: ./build-infer.sh --yes --user-opam-switch java
- run: make -C infer/src clean
- run: make -j -C infer/src byte
- run: make -j direct_sil_pulse_test
- run: make -j direct_java_pulse_test