<div dir="ltr">I have MinGW (<a href="http://www.mingw.org/">http://www.mingw.org/</a>) installed on my Windows box. It comes with C compiler and configure/make tool chain.<div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Jun 23, 2016 at 9:27 AM, Andreas Abel <span dir="ltr"><<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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.<span class=""><br>
<br>
On <a href="tel:22.06.2016%2019" value="+12206201619" target="_blank">22.06.2016 19</a>:47, <a href="mailto:ren.rise@gmx.com" target="_blank">ren.rise@gmx.com</a> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
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<br>
</blockquote>
<br></span>
You seem to have a C compiler.<span class=""><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
checking whether the C compiler works... no<br>
</blockquote>
<br></span>
But there seem to be some problems with it.<div><div class="h5"><br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
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="mailto:nad@cse.gu.se" target="_blank">nad@cse.gu.se</a>><br>
To: "Ren Rise" <<a href="mailto:ren.rise@gmx.com" target="_blank">ren.rise@gmx.com</a>>,<a href="mailto:agda@lists.chalmers.se" target="_blank">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:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
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: .<br>
</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>
<br>
</blockquote>
<br>
<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="mailto:andreas.abel@gu.se" target="_blank">andreas.abel@gu.se</a><br>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" rel="noreferrer" target="_blank">http://www2.tcs.ifi.lmu.de/~abel/</a><div class="HOEnZb"><div class="h5"><br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br></div>