forked from ocaml/ocaml
-
Notifications
You must be signed in to change notification settings - Fork 0
232 lines (221 loc) · 8.02 KB
/
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
name: Build
on:
push:
branches:
- '4.**'
- '5.**'
- 'trunk'
pull_request:
# Restrict the GITHUB_TOKEN
permissions: {}
env:
# List of test directories for the debug-s4096 and linux-O0 jobs. These
# directories are selected because of their tendencies to reach corner cases
# in the runtime system.
PARALLEL_TESTS: parallel callback gc-roots weak-ephe-final
# Fully print commands executed by Make
# MAKEFLAGS: V=1
# https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#concurrency
# Concurrent workflows are grouped by the PR or branch that triggered them
# (github.ref) and the name of the workflow (github.workflow). The
# 'cancel-in-progress' option then make sure that only one workflow is running
# at a time. This doesn't prevent new jobs from running, rather it cancels
# already running jobs before scheduling new jobs.
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.event_name == 'pull_request' || github.sha }}
cancel-in-progress: true
jobs:
# This job will do the initial build of the compiler (on linux), with flambda on.
# We then upload the compiler tree as a build artifact to enable re-use in
# subsequent jobs.
build:
runs-on: 'ubuntu-24.04'
outputs:
manual_changed: ${{ steps.manual.outputs.manual_changed }}
steps:
- name: Checkout
uses: actions/checkout@v4
with:
persist-credentials: false
- name: Check for manual changes
id: manual
run: >-
tools/ci/actions/check-manual-modified.sh
'${{ github.ref }}'
'${{ github.event_name }}'
'${{ github.event.pull_request.base.ref }}'
'${{ github.event.pull_request.base.sha }}'
'${{ github.event.pull_request.head.ref }}'
'${{ github.event.pull_request.head.sha }}'
'${{ github.event.ref }}'
'${{ github.event.before }}'
'${{ github.event.ref }}'
'${{ github.event.after }}'
'${{ github.event.repository.full_name }}'
- name: Configure tree
run: |
MAKE_ARG=-j CONFIG_ARG='--enable-flambda --enable-cmm-invariants --enable-dependency-generation --enable-native-toplevel' OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh configure
- name: Build
run: |
MAKE_ARG=-j bash -xe tools/ci/actions/runner.sh build
- name: Prepare Artifact
run: tar --zstd -cf /tmp/sources.tar.zstd .
- name: Upload Artifact
uses: actions/upload-artifact@v4
with:
name: compiler
path: /tmp/sources.tar.zstd
retention-days: 1
# Full testsuite run, and other sanity checks
# "extra" testsuite runs, reusing the previously built compiler tree.
# debug: running the full testsuite with the
# debug runtime and minor heap verification.
# debug-s4096: select testsuite run with the debug runtime and a small
# minor heap.
normal:
name: ${{ matrix.name }}
needs: build
runs-on: ubuntu-24.04
strategy:
matrix:
include:
- id: normal
name: normal
dependencies: texlive-latex-extra texlive-fonts-recommended texlive-luatex hevea sass gdb lldb
- id: debug
name: extra (debug)
- id: debug-s4096
name: extra (debug-s4096)
steps:
- name: Download Artifact
uses: actions/download-artifact@v4
with:
name: compiler
- name: Unpack Artifact
run: |
tar --zstd -xf sources.tar.zstd
rm -f sources.tar.zstd
- name: Packages
if: matrix.dependencies != ''
run: |
sudo apt-get update -y && sudo apt-get install -y ${{ matrix.dependencies }}
- name: Run the testsuite
if: matrix.id == 'normal'
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh test
- name: Run the testsuite (debug runtime)
if: matrix.id == 'debug'
env:
OCAMLRUNPARAM: v=0,V=1
USE_RUNTIME: d
run: |
bash -cxe "SHOW_TIMINGS=1 tools/ci/actions/runner.sh test"
- name: Run the testsuite (s=4096, debug runtime)
if: matrix.id == 'debug-s4096'
env:
OCAMLRUNPARAM: s=4096,v=0
USE_RUNTIME: d
run: |
for dir in $PARALLEL_TESTS; do \
bash -cxe "SHOW_TIMINGS=1 tools/ci/actions/runner.sh test_prefix $dir"; \
done
- name: Build API Documentation
if: matrix.id == 'normal'
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh api-docs
- name: Install
if: matrix.id == 'normal'
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh install
- name: Build the manual
if: matrix.id == 'normal' && needs.build.outputs.manual_changed == 'true'
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh manual
- name: Other checks
if: matrix.id == 'normal'
run: |
MAKE_ARG=-j OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh other-checks
# MacOS build+testsuite run, and Linux O0 run.
others:
name: ${{ matrix.name }}
runs-on: ${{ matrix.os }}
strategy:
matrix:
include:
- name: linux-O0
os: ubuntu-latest
config_arg: CFLAGS='-O0'
- name: macos-x86_64
os: macos-13
- name: macos-arm64
os: macos-14
steps:
- name: Checkout
uses: actions/checkout@v4
with:
persist-credentials: false
- name: MacOS 13 Dependencies
if: matrix.os == 'macos-13'
run: |
brew install parallel
# Allows starting up lldb from a remote terminal
sudo DevToolsSecurity --enable
spctl developer-mode enable-terminal
# Select latest supported version
sudo xcode-select -s /Applications/Xcode_15.2.app/Contents/Developer
lldb --version
- name: MacOS 14 Dependencies
if: matrix.os == 'macos-14'
run: |
brew install parallel
# Allows starting up lldb from a remote terminal
# Note: in order to start lldb, the user must also be in
# one of these groups: "admin" or "_developer".
sudo DevToolsSecurity --enable
spctl developer-mode enable-terminal
# Select latest supported version
sudo xcode-select -s /Applications/Xcode_15.4.app/Contents/Developer
lldb --version
- name: configure tree
run: |
CONFIG_ARG='${{ matrix.config_arg }}' MAKE_ARG=-j bash -xe tools/ci/actions/runner.sh configure
- name: Build
run: |
MAKE_ARG=-j bash -xe tools/ci/actions/runner.sh build
- name: Run the testsuite
if: ${{ matrix.name != 'linux-O0' }}
run: |
bash -c 'SHOW_TIMINGS=1 tools/ci/actions/runner.sh test'
- name: Run the testsuite (linux-O0)
if: ${{ matrix.name == 'linux-O0' }}
env:
OCAMLRUNPARAM: v=0,V=1
USE_RUNTIME: d
run: |
for dir in $PARALLEL_TESTS; do \
bash -cxe "SHOW_TIMINGS=1 tools/ci/actions/runner.sh test_prefix $dir"; \
done
i386:
runs-on: ubuntu-latest
container:
image: debian:12
options: --platform linux/i386 --user root
steps:
- name: OS Dependencies
run: |
apt-get update
apt-get install -y git gcc make parallel
adduser --disabled-password --gecos '' ocaml
- name: Checkout
# See https://github.com/actions/checkout/issues/334
uses: actions/checkout@v1
- name: configure tree
run: |
chown -R ocaml:ocaml .
MAKE_ARG=-j su ocaml -c "bash -xe tools/ci/actions/runner.sh configure"
- name: Build
run: |
MAKE_ARG=-j su ocaml -c "bash -xe tools/ci/actions/runner.sh build"
- name: Run the testsuite
run: |
su ocaml -c "bash -xe tools/ci/actions/runner.sh test"