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

[Andreas Abel]

Hello Ren,

something on your system seems broken, maybe some permissions etc.  Make 
sure your C compiler works.  There should be online resources you can 
google that explain how to set up a command-line C compiler on Windows. 
  I don't know this of the top of my head.

On 22.06.2016 19:47, ren.rise at gmx.com wrote:
> 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

You seem to have a C compiler.

> checking whether the C compiler works... no

But there seem to be some problems with it.

> 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".
>


-- 
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/