[Agda] Agda Installer for Windows

[José Pedro Magalhães]

Hello,

Just to report it seems to work just fine in win32. Also the update
function, which is great.


Pedro

On Wed, Jul 16, 2008 at 13:58, José Pedro Magalhães <jpm at cs.uu.nl> wrote:

> 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/20080722/235e309c/attachment.html