[Agda-dev] Re: Travis fail

[Ulf Norell]

I used the regHook (instead of postInstHook) for checking the
Agda.Primitive, since the postInstHook isn't actually run. The problem
seems to be that I didn't run whatever the regHook did by default (like, I
don't know, registering the package). New Travis job in progress, should
hopefully go through.

/ Ulf

On Wed, Feb 17, 2016 at 9:54 AM, Ulf Norell <ulf.norell at gmail.com> wrote:

> It looks like I broke Travis, but I don't understand how. It complains
> that
>
> ======================================================================
>
> ======== Successfull tests using Agda as a Haskell library ===========
>
> ======================================================================
>
> make[1]: Entering directory `/home/travis/build/agda/agda/test/api'
>
> /home/travis/build/agda/agda/dist/build/agda/agda -v0 Issue1168.agda
>
> ghc -Wall -Werror -package Agda-2.5.0 -o /tmp/Issue1168 Issue1168.hs
>
> <command line>: cannot satisfy -package Agda-2.5.0
>
>     (use -v for more information)
>
> make[1]: *** [Issue1168] Error 1
>
> make[1]: Leaving directory `/home/travis/build/agda/agda/test/api'
>
>
> But as far as I can tell everything installs properly.
>
> / Ulf
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda-dev/attachments/20160217/21b34550/attachment.html