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?<div>
<br></div><div>-Jason<br><br><div class="gmail_quote">On Sat, Aug 4, 2012 at 7:41 AM, Andreas Abel <span dir="ltr"><<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Jason,<br>
<br>
I have once installed Agda on Windows for Peter Aczel, but it is a while ago. I'd install the components separately:<br>
<br>
* Haskell platform<br>
* Emacs<br>
* $ cabal install Agda-executable<br>
* $ agda mode setup<br>
* download std.lib, put it somewhere (<stdlib>)<br>
* in <stdlib> $ cabal install<br>
* in <stdlib>/ffi $ cabal install<br>
* in Emacs:<br>
M-x customize-group agda2<br>
add "." and <stdlib>/src to agda2-include-dirs<br>
<br>
More detailed instructions are in<br>
<br>
<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.README-2-3-0" target="_blank">http://wiki.portal.chalmers.<u></u>se/agda/pmwiki.php?n=Main.<u></u>README-2-3-0</a><br>
<br>
That should work.<br>
<br>
Cheers,<br>
Andreas<div><div class="h5"><br>
<br>
<br>
On 02.08.12 11:47 PM, Jason Gross wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5">
Hi,<br>
I'm trying to install Agda on windows 7 using the first installer listed<br>
on <a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Windows" target="_blank">http://wiki.portal.chalmers.<u></u>se/agda/pmwiki.php?n=Main.<u></u>Windows</a>. It<br>
downloads the haskell installer, and gets a decent chunk of the progress<br>
bar through running it, and then errors with "Installation failed: Could<br>
not run<br>
"C:\Users\JASONG~1\AppData\<u></u>Local\is-8VVI1.tmp\<u></u>HaskellPlatform-2011.4.0.0-<u></u>setup.exe"<br>
/S".<br>
<br>
I'm not sure if it's relevant, but I'm trying to install agda to<br>
D:\Program Files (x86)\..., rather than my C:\ drive, because my C drive<br>
only has ~400 MB of free space. (Does the haskell installer default to<br>
the default drive in the registry, or the location given to the Agda<br>
installer? Is there a way to change this?)<br>
<br>
How do I get Agda to install?<br>
<br>
Thanks in advance.<br>
<br>
-Jason<br>
<br>
<br></div></div>
______________________________<u></u>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/<u></u>mailman/listinfo/agda</a><br>
<br><span class="HOEnZb"><font color="#888888">
</font></span></blockquote><span class="HOEnZb"><font color="#888888">
<br>
-- <br>
Andreas Abel <>< Du bist der geliebte Mensch.<br>
<br>
Theoretical Computer Science, University of Munich<br>
Oettingenstr. 67, D-80538 Munich, GERMANY<br>
<br>
<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a><br>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" target="_blank">http://www2.tcs.ifi.lmu.de/~<u></u>abel/</a><br>
</font></span></blockquote></div><br></div>