[Agda] help required for installing GHC or whole Haskell platform

[ren.rise at gmx.com]

I did heed to the advice of Nils but again it shows up exception as you can see below. 

C:\Program Files\Haskell Platform>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 `/cygdrive/c/Users/SurajZ/AppData/Local/Temp/cabal-tmp-8856/old-time-1.1.0.3':
configure: error: C compiler cannot create executables
See `config.log' for more details
cabal: Leaving directory 'C:\Users\SurajZ\AppData\Local\Temp\cabal-tmp-8856\old-time-1.1.0.3'
cabal: Error: some packages failed to install:
Agda-2.5.1.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

C:\Program Files\Haskell Platform>


-----Original message-----
Sent: Wednesday, 22 June 2016 at 10:13:17
From: "Nils Anders Danielsson" <nad at cse.gu.se>
To: "Ren Rise" <ren.rise at gmx.com>,agda at lists.chalmers.se
Subject: Re: [Agda] help required for installing GHC or whole Haskell platform
On 2016-06-22 07:53, Ren Rise wrote:
> But when I run cabal install, it again throws up exceptions:
> C:\Program Files\Haskell Platform>cabal install
> cabal: Error reading local package.
> Couldn't find .cabal file in: .

The command "cabal install" tries to install the package in the current
working directory, if any. If you want to install Agda, then you could
try "cabal install Agda".

-- 
/NAD