Hi,
Le 14/01/2025 à 15:31, Julien Puydt a écrit :
I've rebuilt all (relevant) packages with this new version; the
results are available at the following address:
http://ocaml.debian.net/transitions/ocaml-5.3.0/
For some of them I have clues :
- coq-unimath is a beast ; since it's coq code, I think it's ok as long
as its depends actually using OCaml are.
Indeed. I've attempted to build all remaining "expensive" packages, and
only llvm-toolchain-1[47] fail, some some reason that doesn't seem
related to OCaml.
- coq-doc fails for another reason than the one in reason.txt:
from typing.io import TextIO
ModuleNotFoundError: No module named 'typing.io'; 'typing' is not a
package
This could be related to the transition to Python 3.13 rather than an
actual problem with coq-doc, so perhaps just testing again in a few
days will solve the problem.
OK, I've updated the reason.
- frama-c: the version we have is broken (uses new reserved keyword
`effect`) ; I don't know if the new version would help (I digged a
little, lacked time for more).
- ocaml-merlin: a new version is out which may fix the problem - I plan
to work on it pretty soon.
- why3: we need the newest upstream (their changelog says they support
OCaml 5.3).
I've reduced the number of missing packages down to 22. Here are the
remaining ones:
botch: # make[2]: *** [Makefile:278: test-man] Error 1
(lightblue)
coccinelle: # make[2]: *** [Makefile:39: manual.pdf] Error 1
(lightblue)
coq-doc: # seems unrelated to OCaml (yellow)
eliom: # ppx needs porting (lightblue)
frama-c: # syntax error due to new "effect" keyword (lightblue)
haxe: # needs update, not in testing (brown)
llvm-toolchain-14: # seems unrelated to OCaml (yellow)
llvm-toolchain-17: # seems unrelated to OCaml (yellow)
ocaml-merlin: # needs porting (lightblue)
ocaml-multicore-magic: # packaging issue (lightblue)
ocaml-taglib: # error in C stubs, not in testing (brown)
orpie: # error: Unbound module "Genlex" (lightblue)
plplot: # error in C stubs (lightblue)
pplacer: # error in C stubs (lightblue)
sks: # FTBFS since OCaml 5.2.0 (#1073911), not in testing
(brown)
tophide: # Format-related change (lightblue)
why3: # syntax error due to new "effect" keyword (lightblue)
caml-crush: coccinelle
liquidsoap: ocaml-taglib
nurpawiki: eliom
ocaml-multicore-bench: ocaml-multicore-magic
ocaml-saturn: ocaml-multicore-bench ocaml-multicore-magic
I think they should not be blocking for the transition, hence I'm
planning to ask for a slot soon.
Cheers,
--
Stéphane
