Skip to content

Commit 38eb7bb

Browse files
committed
Fix CI jobs
1 parent 6afb12f commit 38eb7bb

File tree

2 files changed

+4
-14
lines changed

2 files changed

+4
-14
lines changed

.github/workflows/build.yml

Lines changed: 3 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -9,19 +9,6 @@ jobs:
99
fail-fast: false
1010
matrix:
1111
include:
12-
- name: closure
13-
config: --enable-middle-end=closure
14-
os: ubuntu-latest
15-
build_ocamlparam: ''
16-
check_arch: true
17-
use_runtime: d
18-
ocamlrunparam: "v=0,V=1"
19-
20-
- name: closure_cfg
21-
config: --enable-middle-end=closure --enable-poll-insertion
22-
os: ubuntu-latest
23-
build_ocamlparam: _,ocamlcfg=1
24-
2512
- name: flambda1
2613
config: --enable-middle-end=flambda
2714
os: ubuntu-latest
@@ -92,7 +79,9 @@ jobs:
9279
check_arch: true
9380

9481
- name: build_upstream_closure
95-
config: --enable-middle-end=closure
82+
# The --enable-middle-end setting will be ignored (see the
83+
# build_upstream rule in the Makefile).
84+
config: --enable-middle-end=flambda2
9685
os: ubuntu-20.04
9786

9887
env:

Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -134,6 +134,7 @@ regen-flambda2-test-dune-rules: $(dune_config_targets)
134134
build_upstream: ocaml/config.status
135135
rsync -a ocaml/ _build_upstream
136136
(cd _build_upstream && \
137+
./configure && \
137138
$(MAKE) world.opt && \
138139
$(MAKE) ocamlnat)
139140

0 commit comments

Comments
 (0)