[Agda-dev] Travis fail

[Ulf Norell]

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/33cf803d/attachment.html