<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hi Natalie and Andreas,</div>
<div> </div>
<div>I was successful in running "cabal update'' but could not complete the isntallation process from''cabal install Agda'' onwards as I am facing following exceptions despite the fact MinGW+MSYS required for running Agda on Windows is already present inside the Agda root folder. Besides, I downloaded the latest Cygwin64 for Windows 64bit i.e. for my Windows 10 workstaton. But sitll I was not able to install as you can see below the transcribed lines of Win Command Prompt and Cygwin64 Terminal respectively. </div>
<div>
<div> </div>
<div>
<div>C:\Program Files\Haskell Platform>cabal install Agda<br/>
Resolving dependencies...<br/>
Downloading EdisonAPI-1.3...<br/>
Downloading STMonadTrans-0.3.3...<br/>
Downloading boxes-0.1.4...<br/>
Configuring STMonadTrans-0.3.3...<br/>
...........................<br/>
...............................<br/>
...................................//Removed command lines...<br/>
Building unix-compat-0.4.2.0...<br/>
Building EdisonCore-1.3.1.1...<br/>
Configuring old-time-1.1.0.3...<br/>
Installed polyparse-1.12<br/>
Configuring equivalence-0.3.1...<br/>
Failed to install old-time-1.1.0.3<br/>
Build log ( C:\Users\SurajZ\AppData\Roaming\cabal\logs\old-time-1.1.0.3.log ):<br/>
Configuring old-time-1.1.0.3...<br/>
cabal.exe: The package has a './configure' script. If you are on Windows, This<br/>
requires a Unix compatibility toolchain such as MinGW+MSYS or Cygwin. If you<br/>
are not on Windows, ensure that an 'sh' command is discoverable in your path.<br/>
cabal: Leaving directory 'C:\Users\SurajZ\AppData\Local\Temp\cabal-tmp-8689\old-time-1.1.0.3'<br/>
Installed hashtables-1.2.1.0<br/>
Installed unix-compat-0.4.2.0<br/>
Downloading filemanip-0.3.6.3...<br/>
Building equivalence-0.3.1...<br/>
Configuring filemanip-0.3.6.3...<br/>
Building filemanip-0.3.6.3...<br/>
Installed equivalence-0.3.1<br/>
Installed filemanip-0.3.6.3<br/>
Installed EdisonCore-1.3.1.1<br/>
cabal: Error: some packages failed to install:<br/>
Agda-2.5.1 depends on old-time-1.1.0.3 which failed to install.<br/>
cpphs-1.20.1 depends on old-time-1.1.0.3 which failed to install.<br/>
haskell-src-exts-1.17.1 depends on old-time-1.1.0.3 which failed to install.<br/>
old-time-1.1.0.3 failed during the configure step. The exception was:<br/>
ExitFailure 1</div>
<div>C:\Program Files\Haskell Platform>cabal install MingGW+MSYS<br/>
cabal: The file does not exist 'MingGW+MSYS'.</div>
<div>C:\Program Files\Haskell Platform>cabal install MingGW<br/>
cabal: There is no package named 'MingGW'.<br/>
You may need to run 'cabal update' to get the latest list of available<br/>
packages.</div>
<div><br/>
Then, I tried to install Agda from within Cygwin64 terminal. Again it throws up similar exceptions.</div>
<div> </div>
<div>$ agda-mode setup<br/>
-bash: agda-mode: command not found</div>
<div>Sunyok@DESKTOP-CAD2V7H ~<br/>
$ cabal install Agda<br/>
Resolving dependencies...<br/>
Configuring old-time-1.1.0.3...<br/>
Failed to install old-time-1.1.0.3<br/>
Build log ( C:\Users\SurajZ\AppData\Roaming\cabal\logs\old-time-1.1.0.3.log ):<br/>
Configuring old-time-1.1.0.3...<br/>
configure: WARNING: unrecognized options: --with-compiler<br/>
checking for gcc... C:\PROGRA~1\HASKEL~1\802E01~1.1\mingw\bin\gcc.exe<br/>
checking whether the C compiler works... no<br/>
configure: error: in `/tmp/cabal-tmp-9612/old-time-1.1.0.3':<br/>
configure: error: C compiler cannot create executables<br/>
See `config.log' for more details<br/>
cabal: Leaving directory 'C:\Program Files\Haskell Platform\8.0.1\tmp\cabal-tmp-9612\old-time-1.1.0.3'<br/>
cabal.exe: Error: some packages failed to install:<br/>
Agda-2.5.1 depends on old-time-1.1.0.3 which failed to install.<br/>
cpphs-1.20.1 depends on old-time-1.1.0.3 which failed to install.<br/>
haskell-src-exts-1.17.1 depends on old-time-1.1.0.3 which failed to install.<br/>
old-time-1.1.0.3 failed during the configure step. The exception was:<br/>
ExitFailure 77</div>
<div>Sunyok@DESKTOP-CAD2V7H ~<br/>
$</div>
</div>
<div> </div>
<div> </div>
<div>Please let me know how do I troubleshoot and proceed from here.</div>
<div> </div>
<div>Regards,</div>
<div>Ren</div>
<div> </div>
<div> </div>
</div></div></body></html>