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">&lt;<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>&gt;</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&#39;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 (&lt;stdlib&gt;)<br>
* in &lt;stdlib&gt; $ cabal install<br>
* in &lt;stdlib&gt;/ffi $ cabal install<br>
* in Emacs:<br>
  M-x customize-group agda2<br>
  add &quot;.&quot; and &lt;stdlib&gt;/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&#39;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 &quot;Installation failed: Could<br>
not run<br>
&quot;C:\Users\JASONG~1\AppData\<u></u>Local\is-8VVI1.tmp\<u></u>HaskellPlatform-2011.4.0.0-<u></u>setup.exe&quot;<br>
/S&quot;.<br>
<br>
I&#39;m not sure if it&#39;s relevant, but I&#39;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  &lt;&gt;&lt;      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>