installation failure on ocaml <= 4.12

[fblanqui]

cannot install dream.1.0.0~alpha6 with dream-httpaf.1.0.0~alpha4 with opam when using ocaml 4.12.1, 4.11.2, 4.10.2 or 4.09.1

∗ installed dream-httpaf.1.0.0~alpha4
[ERROR] The compilation of dream.1.0.0~alpha6 failed at "dune build -p dream -j 3".

#=== ERROR while compiling dream.1.0.0~alpha6 =================================#
# context     2.3.0 | linux/x86_64 | ocaml-base-compiler.4.12.1 | git+https://github.com/ocaml/opam-repository.git
# path        ~/work/lambdapi/lambdapi/_opam/.opam-switch/build/dream.1.0.0~alpha6
# command     ~/work/lambdapi/lambdapi/_opam/bin/dune build -p dream -j 3
# exit-code   1
# env-file    ~/.opam/log/dream-2863-ac83d1.env
# output-file ~/.opam/log/dream-2863-ac83d1.out
### output ###
# File "src/http/dune", line 21, characters 2-32:
# 21 |   dream-httpaf.dream-websocketaf
#        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
# Error: Library "dream-httpaf.dream-websocketaf" not found.
# -> required by library "dream.http" in _build/default/src/http
# -> required by _build/default/META.dream
# -> required by _build/install/default/lib/dream/META
# -> required by _build/default/dream.install
# -> required by alias install

<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
┌─ The following actions failed
│ λ build dream 1.0.0~alpha6
└─ 

[fblanqui]

Hi. Yet, opam info indicates: "ocaml" {>= "4.08.0"} "dream-httpaf" {>= "1.0.0~alpha2"} I have many CI currently failing because of this issue: https://github.com/Deducteam/lambdapi/actions/runs/14725968105/job/41328568312?pr=1241 https://github.com/Deducteam/lambdapi/actions/runs/14623864154/job/41030513500?pr=1237 https://github.com/Deducteam/lambdapi/actions/runs/14622423369/job/41025610782?pr=1129 Do you have any idea on how to solve this issue?

[fblanqui]

Hi. FYI, I tested all possibilities: https://github.com/Deducteam/lambdapi/actions/runs/14729052162/job/41338640569

[fblanqui]

Versions of ocaml, dream-pure, dream-httpaf, dream that work:

4.09.1, 1.0.0~alpha1, 1.0.0~alpha1, 1.0.0~alpha3
4.09.1, 1.0.0~alpha2, 1.0.0~alpha1, 1.0.0~alpha4
4.09.1, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha5
4.09.1, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha6
4.09.1, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha5
4.09.1, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha6
4.10.2, 1.0.0~alpha2, 1.0.0~alpha1, 1.0.0~alpha4
4.10.2, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha5
4.10.2, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha6
4.10.2, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha5
4.10.2, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha6
4.11.2, 1.0.0~alpha1, 1.0.0~alpha1, 1.0.0~alpha3
4.11.2, 1.0.0~alpha2, 1.0.0~alpha1, 1.0.0~alpha4
4.11.2, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha5
4.11.2, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha6
4.11.2, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha6
4.12.1, 1.0.0~alpha1, 1.0.0~alpha1, 1.0.0~alpha3
4.12.1, 1.0.0~alpha2, 1.0.0~alpha1, 1.0.0~alpha4
4.12.1, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha5
4.12.1, 1.0.0~alpha2, 1.0.0~alpha2, 1.0.0~alpha6
4.12.1, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha5
4.12.1, 1.0.0~alpha2, 1.0.0~alpha3, 1.0.0~alpha6

[yawaramin]

Does alpha8 install successfully?

[fblanqui]

Yes.

[yawaramin]

OK. I am of the opinion that pre-v1 we don't make any guarantees about supporting older releases, and just ask people to upgrade. But I will defer to @aantron's thoughts on this.