[Agda] Problems trying to build Agda
Ulf Norell
ulfn at cs.chalmers.se
Sat May 17 13:03:39 CEST 2008
On Sat, May 17, 2008 at 12:28 PM, Geoffrey Alan Washburn
<geoffrey.washburn at epfl.ch> wrote:
> I grabbed Agda 2.1.2 from the wiki, installed and built the packages it
> depends upon, and then started encountering problems. First, I encountered:
>
> % runghc Setup.hs build
> Preprocessing library Agda-2.1.2...
> Building Agda-2.1.2...
>
> dist/build/Syntax/Parser/Parser.hs:29:0:
> error: ../../undefined.h: No such file or directory
>
> I was able to fix this by manually copying undefined.h into the place it
> was expected (dist/build). However, I am now stuck on:
>
> % runghc Setup.hs build
> Preprocessing library Agda-2.1.2...
> Building Agda-2.1.2...
>
> src/full/AgdaMain.hs:15:17:
> Could not find module `Data.Map':
> it is a member of package containers-0.1.0.1, which is hidden
>
> I am using GHC 6.8.2.
>
You're better off grabbing the latest version from darcs. 2.1.2 is getting a
bit old.
/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080517/2cea9af5/attachment.html
More information about the Agda
mailing list