On 13 July 2017 at 09:31, Stéphane Glondu <[email protected]> wrote: > On 13/07/2017 01:46, Dimitri John Ledkov wrote: >>>> >>>> Did you try compiling other Debian packages? I mean, packages from >>>> unstable that don't need changes? >>> >>> >> >> I am transitioning to 4.04 in Ubuntu. >> >> http://people.canonical.com/~ubuntu-archive/transitions/ocaml.html > > > Ximin Luo and I are considering transitioning to 4.05.0 directly. >
Cool. Do you have a timing for it? I think Artful (17.10) may end up releasing with 4.04 stack, as feature freeze is end of august for Ubuntu. >> We have sidestepped the missing ocamlbuild dependency, thus packages >> with ubuntuX suffix needed patches, either cherrypicks from upstream >> or just new upstream releases. I can file bugs for all of these in BTS >> if you wish. > > > I don't think we need bugs for that; we can look at Ubuntu packages if > needed. Actually, it would be helpful if you could join the team, fix > packages in our git repositories and upload them. > >> At the moment, there is a cerious issue with ocaml on arm64, which >> appears to not be compatible with a PIE by default toolchain. Which >> results in unrelocatable symbols >> >> https://launchpadlibrarian.net/326640207/buildlog_ubuntu-artful-arm64.coq_8.6-4build1_BUILDING.txt.gz > > > Cannot this be fixed in a fashion similar to: > > https://sources.debian.net/patches/ocaml/4.04.0-2/0010-arm-default-PIC.patch/ > > ? > No, as the asmcomp / asmrun code is not sensitive to pic_code flags at all. However, I will rebuild ocaml again, to verify everything again. >>> Failing packages: camlidl camljava camlp5 camlpdf cmdliner cppo >>> cryptokit hevea hhvm kalzium labltk menhir mlgmp mysql-ocaml ocaml-alsa >>> ocaml-base64 ocaml-curses ocaml-deriving ocamlgsl ocamlify ocaml-libvirt >>> ocaml-mm ocamlpam ocaml-portaudio ocaml-res ocaml-sqlite3 ocaml-ssl >>> optcomp orpie ounit pagodacf parmap pcre-ocaml perl4caml pipebang >>> polygen postgresql-ocaml ppx-tools tophide type-conv ulex uuidm uutf xmlm >>> >>> These failures should be investigated and fixed prior to the transition >>> (if possible). Many of them are simply a missing ocamlbuild in bdeps. >>> >> >> I believe i fixed all of the above for 4.04 builds. > > > OK, I'll have a look. BTW, I have just uploaded camlp5 7.01 to unstable. In > general, I prefer to upgrade to a new upstream release instead of patching > or cherry-picking. I would also like to fix as many packages as possible > before starting the transition, so that as many binNMUs as possible are done > during the transition (to minimize its duration). > >> I failed to fix, and asked demotion for packages listed in: >> https://bugs.launchpad.net/ubuntu/+source/cappuccino/+bug/1702913 >> >> cappuccino >> cmigrep >> marionnet >> ocaml-deriving >> ocaml-reins >> ocamlbricks >> polygen >> >> Mostly due to dead upstream, and me not knowing ocaml at all. I've >> tried some minor fixes, but failed to fix above. >> >> Out of major things, I have packages failing on arm64/s390x but not >> other arches (coq and down) >> ppx-core and down (which needs new major upstream I believe) >> js-of-ocaml needs a new major release too, but that in turn requires >> this new build system packaged for debian too. > > > I don't see any serious blocker in all this. I think we can afford at this > time of the release cycle (I'm speaking for Debian, here) to remove the red > packages (from your transition tracker) from testing so that ocaml can > transition (although I would be very sad to see coq out of testing). > >> Everything else seems to work fine with 4.04. And from the patches for >> 4.04 I saw that active upstreams have patches for 4.05 as well. > > > Very good. > > > Cheers, > > -- > Stéphane > -- Regards, Dimitri.
