Dimitri John Ledkov: > On 14 July 2017 at 14:02, Ximin Luo <[email protected]> wrote: >> [..] >> >> According to @diml the ppx-deriving errors are fixed in Jane Street's >> development repo: >> https://github.com/whitequark/ppx_deriving/pull/141#issuecomment-315334631 I >> haven't verified this yet, but hopefully they'll cut a release soon. >> >> I'll have some more time next week to chase up these things. I was a bit >> hesitant about 4.05 since this ppx-deriving issue affects quite a lot of >> stuff that I'm personally interested in, but I guess it'll be fixed soon >> based on what I linked above. So if you are all happy I will push my 4.05 >> updates to alioth git and Debian experimental next week. (Please say so if >> you're not!) >> > > So I have progress. the arm64 pic/pie issues are due to a binutils > snapshot. Filed bug upstream, and working around it by using older > binutils. > https://caml.inria.fr/mantis/view.php?id=7585 > > For ppx-* stuff I have rebased their 4.03/4.04 branches on top of what > is in unstable and uploaded into ubuntu, things are progressing now. > > For the s390x errors I had to cherrypick a fix that landed in 4.04.3 > or some such, to resolve segfaults around Sets. >
I think that s390x fix was included in 4.05 already. So far there are two distinct build errors: https://buildd.debian.org/status/package.php?p=ocaml&suite=experimental I didn't yet look into the *-kfreebsd errors, but the arm64/s390x errors are because of https://github.com/ocaml/ocaml/commit/54e6aecd773d9c01afa45e5717de84426897e177#diff-b6c212b4a41f6da19f226804bdd3ee99 i.e. they're no longer installing a symlink libasmrunp.a -> libasmrun.a on platforms that don't support gprof profiling. The cleanest way I can see of fixing this, is to: - include config/Makefile (which defines PROFILING=true or false) in debian/ocamlinit.mk, and then add some more sed rules - however this would require us to run ocamlinit-stamp *after* config-stamp. - I'm also not sure how this would interact with dh_ocamlinit, in case other ocaml projects want to also do this conditioning Any other suggestions? X -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git
