[Agda-dev] build error on master

[John Leo]

Hi Andrés,

Thanks for your note. I'm not sure what the difference is either, but note
that I did a fresh pull of the most recent master to a new directory, did
not unregister async (so I had the non-profiled version installed already),
and did cabal update followed by cabal install. I'm also using GHC 8.2.2 if
that makes any difference. Are you sure that your make is not installing
the profiled version of async? I'm not sure why I'm getting that dependency
error unless something requires it. Note that this is a new problem--I've
built Agda from master many times and have never seen this before.

John

On Tue, Mar 6, 2018 at 4:13 PM, Andrés Sicard-Ramírez <asr at eafit.edu.co>
wrote:

> Hi,
>
> On 6 March 2018 at 11:36, John Leo <leo at halfaya.org> wrote:
> > I tried doing a fresh rebuild from master today and got the following
> error:
> >
> > [329 of 333] Compiling Agda.Interaction.InteractionTop (
> > src/full/Agda/Interaction/InteractionTop.hs,
> > dist/build/Agda/Interaction/InteractionTop.p_o )
> >
> > src/full/Agda/Interaction/InteractionTop.hs:16:1: error:
> >     Could not find module ‘Control.Concurrent.Async’
> >     Perhaps you haven't installed the profiling libraries for package
> > ‘async-2.2.1’?
> >     Use -v to see a list of the files searched for.
> >    |
> > 16 | import Control.Concurrent.Async
> >    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> > cabal: Leaving directory '.'
> > cabal: Error: some packages failed to install:
> > Agda-2.6.0-D2d2poRAVBcDwR0QSXf8Fl failed during the building phase. The
> > exception was:
> > ExitFailure 1
> >
> > I then did the following and it worked, but I wonder what caused this
> > problem and if there's a way to fix it that won't require people to
> install
> > async with profiling.
>
> I don't know what caused your problem, but it isn't necessary to
> install any library with profiling when installing Agda. I couldn't
> reproduce the issue running the following commands:
>
>   $ make clean
>   $ ghc-pkg unregister async-* --force
>   $ make install-bin
>
> Best,
>
> --
> Andrés
> La información contenida en este correo electrónico está dirigida
> únicamente a su destinatario y puede contener información confidencial,
> material privilegiado o información protegida por derecho de autor. Está
> prohibida cualquier copia, utilización, indebida retención, modificación,
> difusión, distribución o reproducción total o parcial. Si usted recibe este
> mensaje por error, por favor contacte al remitente y elimínelo. La
> información aquí contenida es responsabilidad exclusiva de su remitente por
> lo tanto la Universidad EAFIT no se hace responsable de lo que el mensaje
> contenga. The information contained in this email is addressed to its
> recipient only and may contain confidential information, privileged
> material or information protected by copyright. Its prohibited any copy,
> use, improper retention, modification, dissemination, distribution or total
> or partial reproduction. If you receive this message by error, please
> contact the sender and delete it. The information contained herein is the
> sole responsibility of the sender therefore Universidad EAFIT is not
> responsible for what the message contains.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda-dev/attachments/20180306/5b9374bd/attachment.html>