[Agda] expections while running Agda on Windows 10 with MingGW MSYS and Cygwin

[Andreas Abel]

Mmh, I do not really understand where the dependency on old-time comes from.

Andres, do you know why old-time is required still for Agda-2.5.1 (it is 
not mentioned in the Agda.cabal file)?

Cheers,
Andreas

On 18.06.2016 23:29, Ren Rise wrote:
> Hi Natalie and Andreas,
> 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.
> C:\Program Files\Haskell Platform>cabal install Agda
> Resolving dependencies...
> Downloading EdisonAPI-1.3...
> Downloading STMonadTrans-0.3.3...
> Downloading boxes-0.1.4...
> Configuring STMonadTrans-0.3.3...
> ...........................
> ...............................
> ...................................//Removed command lines...
> Building unix-compat-0.4.2.0...
> Building EdisonCore-1.3.1.1...
> Configuring old-time-1.1.0.3...
> Installed polyparse-1.12
> Configuring equivalence-0.3.1...
> Failed to install old-time-1.1.0.3
> Build log (
> C:\Users\SurajZ\AppData\Roaming\cabal\logs\old-time-1.1.0.3.log ):
> Configuring old-time-1.1.0.3...
> cabal.exe: The package has a './configure' script. If you are on
> Windows, This
> requires a Unix compatibility toolchain such as MinGW+MSYS or Cygwin. If you
> are not on Windows, ensure that an 'sh' command is discoverable in your
> path.
> cabal: Leaving directory
> 'C:\Users\SurajZ\AppData\Local\Temp\cabal-tmp-8689\old-time-1.1.0.3'
> Installed hashtables-1.2.1.0
> Installed unix-compat-0.4.2.0
> Downloading filemanip-0.3.6.3...
> Building equivalence-0.3.1...
> Configuring filemanip-0.3.6.3...
> Building filemanip-0.3.6.3...
> Installed equivalence-0.3.1
> Installed filemanip-0.3.6.3
> Installed EdisonCore-1.3.1.1
> cabal: Error: some packages failed to install:
> Agda-2.5.1 depends on old-time-1.1.0.3 which failed to install.
> cpphs-1.20.1 depends on old-time-1.1.0.3 which failed to install.
> haskell-src-exts-1.17.1 depends on old-time-1.1.0.3 which failed to install.
> old-time-1.1.0.3 failed during the configure step. The exception was:
> ExitFailure 1
> C:\Program Files\Haskell Platform>cabal install MingGW+MSYS
> cabal: The file does not exist 'MingGW+MSYS'.
> C:\Program Files\Haskell Platform>cabal install MingGW
> cabal: There is no package named 'MingGW'.
> You may need to run 'cabal update' to get the latest list of available
> packages.
>
> Then, I tried to install Agda from within Cygwin64 terminal. Again it
> throws up similar exceptions.
> $ agda-mode setup
> -bash: agda-mode: command not found
> Sunyok at DESKTOP-CAD2V7H ~
> $ cabal install Agda
> Resolving dependencies...
> Configuring old-time-1.1.0.3...
> Failed to install old-time-1.1.0.3
> Build log (
> C:\Users\SurajZ\AppData\Roaming\cabal\logs\old-time-1.1.0.3.log ):
> Configuring old-time-1.1.0.3...
> configure: WARNING: unrecognized options: --with-compiler
> checking for gcc... C:\PROGRA~1\HASKEL~1\802E01~1.1\mingw\bin\gcc.exe
> checking whether the C compiler works... no
> configure: error: in `/tmp/cabal-tmp-9612/old-time-1.1.0.3':
> configure: error: C compiler cannot create executables
> See `config.log' for more details
> cabal: Leaving directory 'C:\Program Files\Haskell
> Platform\8.0.1\tmp\cabal-tmp-9612\old-time-1.1.0.3'
> cabal.exe: Error: some packages failed to install:
> Agda-2.5.1 depends on old-time-1.1.0.3 which failed to install.
> cpphs-1.20.1 depends on old-time-1.1.0.3 which failed to install.
> haskell-src-exts-1.17.1 depends on old-time-1.1.0.3 which failed to install.
> old-time-1.1.0.3 failed during the configure step. The exception was:
> ExitFailure 77
> Sunyok at DESKTOP-CAD2V7H ~
> $
> Please let me know how do I troubleshoot and proceed from here.
> Regards,
> Ren
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/