[Agda] Installing Agda

[Jason Gross]

Thanks.  I ended up getting the pre-built windows installer to work; the
problem was that the installer was downloading to %Temp%, which is on my
C:\ drive, and running out of space before it finished extracting/moving
things to the final installation directory.  Is there a reason it downloads
to %Temp% rather than the install directory?

-Jason

On Sat, Aug 4, 2012 at 7:41 AM, Andreas Abel <andreas.abel at ifi.lmu.de>wrote:

> Hi Jason,
>
> I have once installed Agda on Windows for Peter Aczel, but it is a while
> ago.  I'd install the components separately:
>
> * Haskell platform
> * Emacs
> * $ cabal install Agda-executable
> * $ agda mode setup
> * download std.lib, put it somewhere (<stdlib>)
> * in <stdlib> $ cabal install
> * in <stdlib>/ffi $ cabal install
> * in Emacs:
>   M-x customize-group agda2
>   add "." and <stdlib>/src  to agda2-include-dirs
>
> More detailed instructions are in
>
>   http://wiki.portal.chalmers.**se/agda/pmwiki.php?n=Main.**README-2-3-0<http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.README-2-3-0>
>
> That should work.
>
> Cheers,
> Andreas
>
>
>
> On 02.08.12 11:47 PM, Jason Gross wrote:
>
>> Hi,
>> I'm trying to install Agda on windows 7 using the first installer listed
>> on http://wiki.portal.chalmers.**se/agda/pmwiki.php?n=Main.**Windows<http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Windows>.
>>  It
>> downloads the haskell installer, and gets a decent chunk of the progress
>> bar through running it, and then errors with "Installation failed: Could
>> not run
>> "C:\Users\JASONG~1\AppData\**Local\is-8VVI1.tmp\**
>> HaskellPlatform-2011.4.0.0-**setup.exe"
>> /S".
>>
>> I'm not sure if it's relevant, but I'm trying to install agda to
>> D:\Program Files (x86)\..., rather than my C:\ drive, because my C drive
>> only has ~400 MB of free space.  (Does the haskell installer default to
>> the default drive in the registry, or the location given to the Agda
>> installer?  Is there a way to change this?)
>>
>> How do I get Agda to install?
>>
>> Thanks in advance.
>>
>> -Jason
>>
>>
>> ______________________________**_________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/**mailman/listinfo/agda<https://lists.chalmers.se/mailman/listinfo/agda>
>>
>>
> --
> Andreas Abel  <><      Du bist der geliebte Mensch.
>
> Theoretical Computer Science, University of Munich
> Oettingenstr. 67, D-80538 Munich, GERMANY
>
> andreas.abel at ifi.lmu.de
> http://www2.tcs.ifi.lmu.de/~**abel/ <http://www2.tcs.ifi.lmu.de/~abel/>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120805/ce1ac312/attachment.html