[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Transitioning to 4.04 or 4.05



Dimitri John Ledkov:
> On 14 July 2017 at 14:02, Ximin Luo <infinity0@debian.org> 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


Reply to: