Add jasmin.2025.06.2

[eponier]

No description provided.

[jmid]

Thanks!

CI results seem similar to the ones from #28526

I see apron failing to install in the lower-bounds check:
https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/c847d2021bc985e2ce93a0822b65d6afb14f2418/variant/compilers,4.14,jasmin.2025.06.2,lower-bounds

#=== ERROR while compiling apron.v0.9.12 ======================================#
# context              2.5.0~beta1 | linux/x86_64 | ocaml-base-compiler.4.14.2 | file:///home/opam/opam-repository
# path                 ~/.opam/4.14/.opam-switch/build/apron.v0.9.12
# command              ~/.opam/opam-init/hooks/sandbox.sh build make -j71
# exit-code            2
# env-file             ~/.opam/log/apron-7-05be8e.env
# output-file          ~/.opam/log/apron-7-05be8e.out
### output ###
# (cd num; make all)
# make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/apron.v0.9.12/num'
# make[1]: Nothing to be done for 'all'.
# make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/apron.v0.9.12/num'
# (cd itv; make all)
# make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/apron.v0.9.12/itv'
[...]
# /usr/bin/ar rcs libitvMPQ.a itvMPQ.o itv_linexprMPQ.o itv_linearizeMPQ.o
# /usr/bin/ranlib libitvMPQ.a
# /usr/bin/ar rcs libitvRll.a itvRll.o itv_linexprRll.o itv_linearizeRll.o
# /usr/bin/ar rcs libitv.a itvIl.o itv_linexprIl.o itv_linearizeIl.o itvIll.o itv_linexprIll.o itv_linearizeIll.o itvRl.o itv_linexprRl.o itv_linearizeRl.o itvRll.o itv_linexprRll.o itv_linearizeRll.o itvMPZ.o itv_linexprMPZ.o itv_linearizeMPZ.o itvMPQ.o itv_linexprMPQ.o itv_linearizeMPQ.o itvD.o itv_linexprD.o itv_linearizeD.o itvMPFR.o itv_linexprMPFR.o itv_linearizeMPFR.o itvDl.o itv_linexprDl.o itv_linearizeDl.o
# /usr/bin/ranlib libitvRll.a
# /usr/bin/ranlib libitv.a
# make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/apron.v0.9.12/itv'
# (cd apron; make all)
# make[1]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/apron.v0.9.12/apron'
# Makefile:4: depend: No such file or directory
# make[1]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/apron.v0.9.12/apron'
# make: *** [Makefile:21: c] Error 2

I wonder whether this could be fixed by raising the lower bound from the current "apron" {>= "v0.9.12"}. WDYT?

The Centos failures are caused by conf-ppl where the package has been renamed and now live in EPEL it seems (not Jasmin's fault - so we should fix it in a separate PR):
https://rhel.pkgs.org/9/epel-x86_64/ppl-devel-1.2-24.el9.x86_64.rpm.html

[eponier]

Thanks for analysing this PR!

On apron's GitHub, 0.9.12 is marked as pre-release. Let's try with 0.9.13.

[eponier]

Ok, it also fails. Actually, versions before 0.9.14 are not compatible with make >= 4.4 (see antoinemine/apron#56). I don't know what the best fix is.

Certainly, we can make jasmin depend on apron >= v0.9.14. But maybe it would be better to patch/disable previous versions of apron? or both?

[jmid]

Ah, thanks for investigating! 🙏

Perhaps we can just silence the error on these older apron-versions for platforms with make >= 4.4,
by adding something like the following to, e.g., packages/apron/apron.v0.9.12/opam:

x-ci-accept-failures: ["debian-13"]

[jmid]

The PR LGTM - feel free to roll back the lower bound bump if you wish. 👍