[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