Skip to content

ci: install the system dependencies the build needs - #733

Open
balat wants to merge 1 commit into
masterfrom
ci/build-system-deps
Open

balat wants to merge 1 commit into
masterfrom
ci/build-system-deps

Conversation

@balat

@balat balat commented Aug 27, 2026

Copy link
Copy Markdown
Member

Follow-up to #732, which fixed the resolution and let the real failures through.

opam now resolves on all four targets (no more "Package conflict" / "No
agreement"), and two missing system dependencies appear behind it:

target failure cause
ubuntu 5.3, 5.4 wasm_of_ocaml-compiler.6.4.1 at dune build eliom and ocsigen-toolkit depend on it, and its build needs a recent binaryen (wasm-merge); the distro one is too old
macOS 5.3, 5.4 conf-postgresql.2 at pkg-config libpq Homebrew keeps libpq keg-only, so pkg-config cannot find it

The binaryen step is copied from this repository's own doc.yml, which has had it
for a while and builds green; it is the same action js_of_ocaml's CI uses. The
libpq step names Homebrew's pkgconfig directory, which is the documented way
around keg-only formulae.

build.yml runs on pull requests, so this PR is where it gets checked. I cannot
build the dependency tree locally, and I would rather say so than claim more than
I verified: what I know is that these are the two errors the last run reported, and
that doc.yml proves the binaryen step works on ubuntu with this dependency set.
If macOS then trips on something else, the log will name it.

With the matrix fixed (#732) opam resolves on all four targets, and two missing
system dependencies surface behind it:

- ubuntu: wasm_of_ocaml-compiler 6.4.1 fails to build. eliom and ocsigen-toolkit
  depend on it and its build needs a recent binaryen (wasm-merge); the distro one
  is too old. The doc workflow already has this step.
- macOS: conf-postgresql fails at "pkg-config libpq". Homebrew keeps libpq
  keg-only, so its pkgconfig directory has to be named explicitly.

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant