[Agda-dev] What's up with Travis?

[Andrés Sicard-Ramírez]

On 12 February 2016 at 03:04, Andreas Abel <abela at chalmers.se> wrote:
> Somehow it feels there is something fundamentally wrong, though, when
> with ghc 7.6 the tests complete in 25 min but with ghc 7.8 it takes 6
> times as long.

I agree. Something is wrong here.

>
> The script for ghc-7.8 calls it with -j32 while ghc-7.6 is not called
> with any -j option, am I right here?

Good catch!

In the script for building Agda we are not using explicitly the -j option, but
it seems GHC 7.6.3 and 7.8.4 have a different default behaviour
related to this option. Testing...

-- 
Andrés