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

[Ulf Norell]

I have MinGW (http://www.mingw.org/) installed on my Windows box. It comes
with C compiler and configure/make tool chain.

/ Ulf

On Thu, Jun 23, 2016 at 9:27 AM, Andreas Abel <andreas.abel at ifi.lmu.de>
wrote:

> 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/
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160623/1bd642dd/attachment.html