Bug#1073983: transition: ocaml

[Stéphane Glondu]

Hi,

Le 26/06/2024 à 11:38, Emilio Pozuelo Monfort a écrit :
> Assuming xen gets fixed, I checked if the rest could be removed:
> 
> $ dak rm -Rn -s testing approx cairo-ocaml camlimages camltemplate 
> coinst cothreads cryptgps facile frama-c gd4o hlins hol-light lablgl 
> ledit mcl14 misery mlpcap nproc ocamlagrep ocamlcreal ocaml-cry ocamldap 
> ocamldsort ocaml-expect ocaml-gnuplot ocaml-inifiles ocaml-magic 
> ocaml-merlin ocaml-obuild ocaml-reins ocaml-rope ocamlrss 
> ocaml-stdcompat ocaml-tools pagodacf orpie pa-ounit planets pxp polygen 
> sks wyrd xstr
> [...]
> Checking reverse dependencies...
> # Broken Depends:
> cappuccino: cappuccino
> ikiwiki-hosting: ikiwiki-hosting-web [amd64 arm64 armel armhf i386 
> mips64el ppc64el s390x]
> meta-ocaml: ocaml-libs
> 
> # Broken Build-Depends:
> advi: libcamlimages-ocaml-dev (1:5.0.3 >=)
> cappuccino: polygen
> coccinelle: libstdcompat-ocaml-dev
> kalzium: libfacile-ocaml-dev
> pyml: libstdcompat-ocaml-dev (13 >=)
> 
> Not sure if all of those can also be removed (along with their 
> reverse-deps, if any). At least kalzium is a key package, so it'd be 
> good to get its (build-)deps fixed.

I have pending fixes for polygen, ocaml-stdcompat, facile and meta-ocaml.

In your "dak rm" call, you can:
- remove polygen, ocaml-stdcompat and facile
- add advi and meta-ocaml
and no dependency problem should be found (actually, it fails with an 
unrelated error)

In the meantime, I successfully built scilab and Julien Puydt 
successfully built coq-unimath.

The remaining unknowns are llvm-toolchain-{14,15,16,17,18}... BTW, why 
do we need so many versions?. I really tried building llvm-toolchain-18 
(with parallel=12), but had to kill the job after 3 hours because my 
laptop was becoming unusable... I simply don't have the resources to 
build the package! Now, I do no longer care about the compatibility of 
llvm-toolchain-* packages with OCaml 5.2.0... Worst case scenario: the 
OCaml bindings can be disabled (they don't have reverse dependencies in 
Debian).


Cheers,

-- 
Stéphane