[Agda] Agda Installer for Windows

[José Pedro Magalhães]

The installer itself works fine in win64, but when I run agda2 it crashes
(after loading ntemacs, and if I install ntemacs separately I have no
problems running it). This is probably due to the 64bit architecture. I'll
try it on a 32bit machine later on. But I do think it's great there is now a
version for Windows which can update itself.

Just one small remark, in the installer I got a message saying "At least 0.9
MB of free disk space is required." Maybe this should read GB instead of MB?


Pedro

On Wed, Jul 16, 2008 at 13:19, Makoto Takeyama <makoto.takeyama at aist.go.jp>
wrote:

> Dear Pedro,
>
> > Is there any particular reason why it refuses to even start installing on
> a
> > 64bit version? The previous installer did not have this limitation and
>
> There was a possibly unnecessary restriction (ArchitecturesAllowed=x86)
> in the setup script.  Could you try the new setup exe file on the Agda
> Wiki Download page?
>
> And Nisse,
> > If possible, can you place the scripts used to build the installer in
> > the Agda repository? (After you have finished testing it.)
> Yes.
>
>
> Best Wishes,
>
> Makoto
> --
> Makoto Takeyama <makoto.takeyama at aist.go.jp>
> AIST/CVS (National Institute of Advanced Industrial Science and Technology
> /
>          Research Center for Verification and Semantics)
> tel: +81-6-4863-5019   fax: +81-6-4863-5052
>
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080716/ec767358/attachment.html