Ralf Treinen: > On Fri, Nov 04, 2016 at 11:25:00AM +0000, Ximin Luo wrote: >> Johannes Schauer: >>> [..] >>> >>> Notice, that apscud somehow seems to think that ocaml-native-compilers (= >>> 4.02.3-7+b1) is able to satisfy the dependency on "ocaml-best-compilers (>= >>> 4.03.0)" even though that version of ocaml-native-compilers does not >>> provide a >>> specific version of ocaml-best-compilers and should thus not be considered >>> for possibly providing a versioned dependency. >>> >>> [..] >>> >>> So since the Cudf representation of ocaml-native-compilers (= 4.02.3-7+b1) >>> provides "--virtual-ocaml-best-compilers%3aamd64 = 2147483646" it is able to >>> satisfy the dependency relationship of >>> sbuild-build-depends-ocamlbuild-dummy. >>> >>> Thanks! >>> >> >> Thank you josch! So what is the best way forward here? Is it worth us >> waiting for apt-cudf to be fixed? > > I don't think that this behaviour of apt-cudf will be changed rapidly. > I'm not even sure that it is a bug (see me previous answer to > Josch). This question probably merits to be asked on debian-devel. > >> To answer Ralf before, no ocamlbuild does not strictly *need* a >> build-depends on ocaml-best-compilers. But it is nice to do this - >> especially since we are recommending this in the OCaml packaging guide - and >> it has helped us find a bug. :) > > I don't agree. The policy says : > > In order to build **big** programs and benefit from this natively built > compiler, packages should depend on ocaml-best-compilers > > (my emphasis on big) > > It was always the intention that only packages which take a significant > time of ocaml compilation should do that. When we wrote the policy we > were in particular thinking of coq. >
I understand. My point was more along the lines of, it's a good way to test that the policy works. I can agree that small programs should generally not do this - but ocamlbuild has a special position in the ocaml ecosystem, and it's nice to use this to test the policy. X -- GPG: ed25519/56034877E1F87C35 GPG: rsa4096/1318EFAC5FBBDBCE https://github.com/infinity0/pubkeys.git
