<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>
<div>I just found mingw and msys along with other subfolders inside Haskell Platform 7.10.3. My common sense says that I should install mingw and msys first before trying to install cabal and subsequently Agda. Now how do I do that from Commandline. </div>
<div> </div>
<div>Ren</div>
<div>
<div name="quote" style="margin:10px 5px 5px 10px; padding: 10px 0 10px 10px; border-left:2px solid #C3D9E5; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div style="margin:0 0 10px 0;"><b>Sent:</b> Thursday, June 23, 2016 at 1:12 PM<br/>
<b>From:</b> "Ulf Norell" <ulf.norell@gmail.com><br/>
<b>To:</b> "Andreas Abel" <andreas.abel@ifi.lmu.de><br/>
<b>Cc:</b> "Ren Rise" <ren.rise@gmx.com>, "Agda mailing list" <agda@lists.chalmers.se><br/>
<b>Subject:</b> Re: [Agda] help required for installing GHC or whole Haskell platform</div>
<div name="quoted-content">
<div>I have MinGW (<a href="http://www.mingw.org/" target="_blank">http://www.mingw.org/</a>) installed on my Windows box. It comes with C compiler and configure/make tool chain.
<div> </div>
<div>/ Ulf</div>
</div>
<div class="gmail_extra">
<div class="gmail_quote">On Thu, Jun 23, 2016 at 9:27 AM, Andreas Abel <span><<a href="andreas.abel@ifi.lmu.de" target="_parent">andreas.abel@ifi.lmu.de</a>></span> wrote:
<blockquote class="gmail_quote" style="margin: 0 0 0 0.8ex;border-left: 1.0px rgb(204,204,204) solid;padding-left: 1.0ex;">Hello Ren,<br/>
<br/>
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.<br/>
<br/>
<span>On <a>22.06.2016 19</a>:47, <a href="ren.rise@gmx.com" target="_parent">ren.rise@gmx.com</a> wrote:</span>
<blockquote class="gmail_quote" style="margin: 0 0 0 0.8ex;border-left: 1.0px rgb(204,204,204) solid;padding-left: 1.0ex;"><span>I did heed to the advice of Nils but again it shows up exception as you can see below.<br/>
<br/>
C:\Program Files\Haskell Platform>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</span></blockquote>
<span> </span><br/>
You seem to have a C compiler.<br/>
<blockquote class="gmail_quote" style="margin: 0 0 0 0.8ex;border-left: 1.0px rgb(204,204,204) solid;padding-left: 1.0ex;"><span>checking whether the C compiler works... no</span></blockquote>
<span> </span><br/>
But there seem to be some problems with it.
<div>
<div class="h5">
<blockquote class="gmail_quote" style="margin: 0 0 0 0.8ex;border-left: 1.0px rgb(204,204,204) solid;padding-left: 1.0ex;">configure: error: in `/cygdrive/c/Users/SurajZ/AppData/Local/Temp/cabal-tmp-8856/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:\Users\SurajZ\AppData\Local\Temp\cabal-tmp-8856\old-time-1.1.0.3'<br/>
cabal: Error: some packages failed to install:<br/>
Agda-2.5.1.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<br/>
<br/>
C:\Program Files\Haskell Platform><br/>
<br/>
<br/>
-----Original message-----<br/>
Sent: Wednesday, 22 June 2016 at 10:13:17<br/>
From: "Nils Anders Danielsson" <<a href="nad@cse.gu.se" target="_parent">nad@cse.gu.se</a>><br/>
To: "Ren Rise" <<a href="ren.rise@gmx.com" target="_parent">ren.rise@gmx.com</a>>,<a href="agda@lists.chalmers.se" target="_parent">agda@lists.chalmers.se</a><br/>
Subject: Re: [Agda] help required for installing GHC or whole Haskell platform<br/>
On 2016-06-22 07:53, Ren Rise wrote:
<blockquote class="gmail_quote" style="margin: 0 0 0 0.8ex;border-left: 1.0px rgb(204,204,204) solid;padding-left: 1.0ex;">But when I run cabal install, it again throws up exceptions:<br/>
C:\Program Files\Haskell Platform>cabal install<br/>
cabal: Error reading local package.<br/>
Couldn't find .cabal file in: .</blockquote>
<br/>
The command "cabal install" tries to install the package in the current<br/>
working directory, if any. If you want to install Agda, then you could<br/>
try "cabal install Agda".<br/>
</blockquote>
<br/>
<br/>
--</div>
</div>
Andreas Abel <>< Du bist der geliebte Mensch.<br/>
<br/>
Department of Computer Science and Engineering<br/>
Chalmers and Gothenburg University, Sweden<br/>
<br/>
<a href="andreas.abel@gu.se" target="_parent">andreas.abel@gu.se</a><br/>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" target="_blank">http://www2.tcs.ifi.lmu.de/~abel/</a>
<div class="HOEnZb">
<div class="h5"><br/>
_______________________________________________<br/>
Agda mailing list<br/>
<a href="Agda@lists.chalmers.se" target="_parent">Agda@lists.chalmers.se</a><br/>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a></div>
</div>
</blockquote>
</div>
</div>
</div>
</div>
</div>
</div></div></body></html>