[PPL-devel] Bug#517659: ppl - FTBFS: Missuse of buildd resources

[Julien Cristau]

On Mon, Mar  2, 2009 at 23:22:36 +0100, Michael Tautschnig wrote:

> We only build the user-docs nowadays, and that actually wouldn't be necessary if
> Debian's build system did what the policy says: There is no need to re-build the
> architecture independent stuff on each and every host, but the buildd software
> does not yet properly use the build-arch target. If it did, we could get rid of
> all the dependencies (the TeX stuff, doxygen and some others) that needn't get
> installed and would spare the documentation building time. Bastian, if there is
> some other nice way to work around the build-arch problem, please let me know.
> 
build the docs in the binary-indep target instead of build.

Cheers,
Julien