Hi, On Fri, Jul 29, 2016 at 10:42:10PM +0200, Nicolas Braud-Santoni 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. Cheers -Ralf.
