CI: update base build image

We need the new dates_calc and sedlex

Debug notes:
We need the latest ocamlpro/ocaml image (2024-05-26) to get the release of
dates_calc. Unfortunately, it breaks: `pip install gmpy2` could not find
pre-built binaries, so it would "transparently" try to recompile and then
complain about obscure system packages missing (mp libraries). Indeed the newest
image picked up the newer Alpine release (3.20), which is based on a newer musl
release (and apparently that's a problem !?).

Hopefully the proper python dependencies will become available at some point ?
This commit is contained in:
Louis Gesbert 2024-05-27 13:48:05 +02:00
parent 2471c60beb
commit 446481182f

View File

@ -2,7 +2,7 @@
# STAGE 1: setup an opam switch with all dependencies installed
#
# (only depends on the opam files)
FROM ocamlpro/ocaml:4.14-2024-01-14 AS dev-build-context
FROM ocamlpro/ocaml:4.14-2024-05-26 AS dev-build-context
# Image from https://hub.docker.com/r/ocamlpro/ocaml
RUN mkdir catala
@ -25,10 +25,6 @@ RUN opam --cli=2.1 switch create catala ocaml-system && \
# Note: just `opam switch create . --deps-only --with-test --with-doc && opam clean`
# should be enough once opam 2.2 is released (see opam#5185)
# This is temporary, to avoid pulling in a dependency to Str, until it's merged
# and release into dates_calc
RUN opam --cli=2.1 pin dates_calc.0.0.5 git+https://github.com/AltGr/dates-calc#nostr
#
# STAGE 2: get the whole repo and build
#