On Mon, Mar 08, 2010 at 10:56:53PM +0100, Joachim Breitner wrote:
> Am Montag, den 08.03.2010, 22:42 +0100 schrieb Joachim Breitner:
> > > This might be a solution, yes, though I would prefer not to do
> > > this. You've managed to get highlighting-kate's build times down, making
> > > it build everywhere but on armel (where it got tried on a sloooow
> > > buildd, let's see if this gets better on one of the faster boxes). We
> > > have similar problem with agda, could you have a look at that?
> > Maybe Iain Lane can comment on agda.
> speaking of which:
> Building Agda-2.2.6...
> [ 1 of 191] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist-ghc6/build/Agda/Auto/NarrowingSearch.o )
> E: Caught signal 'Terminated': terminating immediately
> make: *** [build-ghc6-stamp] Terminated
> Build killed with signal TERM after 1 minutes of inactivity
> Isn???t this time limit a bit too low?
I put that in to cause agda to fail and stop retrying, adn then bumped
it back up.
The timeout is normally 300 minutes, but agda would continue to
generate output even when it had been wedged for over 12 hours.