[Agda] installing agda on windows

Nils Anders Danielsson nad at cse.gu.se
Fri Feb 8 15:07:55 CET 2019


On 08/02/2019 14.43, Thorsten Altenkirch wrote:
> Or better produce an installer that installed emacs+agda+libraries on
> a windows machine.

Doesn't Aaron Stump's installer work
(http://homepage.divms.uiowa.edu/~astump/agda/AgdaBundle_2.5.4.2.v4.msi)?

> The first problem was that agda-locate couldn’t find emacs.

Perhaps Emacs wasn't installed on the PATH.

> I created the .agda directory with libraries and the correct content
> but no effect.

I'm guessing that getAppUserDataDirectory is used:

   https://hackage.haskell.org/package/directory-1.3.3.2/docs/System-Directory.html#v:getAppUserDataDirectory

Perhaps the directory is %APPDATA%/Agda.

> When I try to run files from inside the library it complains that it
> cannot update some .agdai files.

Perhaps the library directory isn't writable. Maybe you could typecheck
all the library files during the installation process.

-- 
/NAD


More information about the Agda mailing list