On 30/07/2016 20:06, Ralf Treinen wrote:
2) Another remark concerns the organisation of debian/rules. You now have
two Architecture=any packages, these will be build by the autobuilders.
These packages alone should be quick to compile. [...]
Do you think you can do this ? This would also allow you to move
some of the Build-Dependencies into Build-Depends-Indep.
I'm not sure the coqdoc documentation can be built without building the
rest, but I can try at some point.
I don't unerstand. AFAICS, there is no coqdoc documentation in the
libsssreflect-ocaml[-dev] packages.
My request was about building the architecture-dependant packages. There
is nothing to be gained from optimizing building the architecture-independant
packages.
I think Ralf was talking about not building lib{mathcomp,ssreflect}-coq
(which take most of the time) when only arch any packages are requested
(which is the case on buildds).
BTW, don't libmathcomp-coq and libssreflect-coq contain cmxs files? If
so, they should be arch any. I ask because of this changelog entry in
coq 8.5~beta2+dfsg-1:
[...]
* coq-theories is now arch any, since it contains .coq-native/ directories
(i.e. cmxs files for native compute)
[...]
which made me think that, in general, theories should now be arch any.
Enrico?
Cheers,
--
Stéphane
