[Agda] Agda Installer for Windows

[José Pedro Magalhães]

Hello,

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
worked fine.


Best regards,
Pedro

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

> Hello All,
>
> A GUI version of 'one-click' Agda Installer for Windows is ready(?)
> for pre-alpha testing.  There is a link at the bottom of Agda Wiki
> Download page
> http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Main.Download
>
> This one was prepared by Kuragaki-san using Inno Setup 5.
> Like the previous command-line installer, this installs everything
> (GHC, extra haskell packages, emacs, fonts, ...) under one directory,
> without affecting or relying on what you may or may not have.
>
> The installer may warn you that you need the administrator privilege,
> but you can choose to proceed as a restricted user.
>
> The Agda source is the latest as of today.  There is a batch
> file for updating Agda in Start Menu.
>
> The bundled GHC is the latest 6.8.3, but compiling Agda seems to
> suffer from GHC bug #2240 when you are low on memory (512M physical).
>
> If you know Windows users who should be interested in Agda but haven't
> got around to install it, please encourage them to give this one a try.
>
> 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
>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080716/c674d550/attachment.html