<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>
<div>Thanks! I don't have the slightest idea what any of this did, with the exception of "cd Idris-dev", but it seems to have worked...up until I got this message:</div>
<div> </div>
<div>Populated index cache. <br/>
No compiler found, expected minor version match with ghc-8.0.2 (x86_64) (based on resolver setting in /home/third/Idris-dev/stack.yaml).<br/>
To install the correct GHC into /home/third/.stack/programs/x86_64-linux/, try running "stack setup" or use the "--install-ghc" flag.</div>
<div> </div>
<div>...additionally, I don't seem to have acquired a ~/.local/bin/idris ("no such file or directory"), nor for that matter do I know how to adjust my PATH.</div>
<div> </div>
<div>Also, for what it may be worth, I had been warned after the "curl -sSL https://get.haskellstack.org/ | sh" that:</div>
<div> </div>
<div>
<div>Detected Linux distribution: linuxmint</div>
<div>This installer doesn't support your Linux distribution, trying generic<br/>
bindist...</div>
</div>
<div>
<div>Stack has been installed to: /usr/local/bin/stack</div>
<div>Since this installer doesn't support your Linux distribution,<br/>
there is no guarantee that 'stack' will work at all! You may<br/>
need to manually install some system info dependencies for GHC:<br/>
gcc, make, libffi, zlib, libgmp and libtinfo<br/>
Please see http://docs.haskellstack.org/en/stable/install_and_upgrade/<br/>
Pull requests to add support for this distro would be welcome!</div>
<div>WARNING: '/home/third/.local/bin' is not on your PATH.<br/>
For best results, please add it to the beginning of PATH in your profile.</div>
</div>
<div> </div>
<div>...Sorry to be so completely clueless about the most basic aspects of what's going on, but it really is the state of my knowledge for now!</div>
<div> </div>
<div> </div>
<div>-------------------------</div>
<div> </div>
<div>Date: Tue, 29 Aug 2017 09:08:35 -0400<br/>
From: David McBride <toad3k@gmail.com><br/>
To: The Haskell-Beginners Mailing List - Discussion of primarily<br/>
beginner-level topics related to Haskell <beginners@haskell.org><br/>
Subject: Re: [Haskell-beginners] Installing Idris for Linux Dummies:<br/>
"The following packages are likely to be broken..."<br/>
Message-ID:<br/>
<CAN+Tr41Q_g1WpUgXpzpJgXnKFP8QC6Z1mKyzUurWtx3Pu6cLjg@mail.gmail.com><br/>
Content-Type: text/plain; charset="UTF-8"<br/>
<br/>
The problem most users face with using straight up cabal is that often<br/>
the needs of one package conflict with the needs of some of the others<br/>
you've installed. I highly recommend you use stack to install idris.<br/>
The process should look something like this:<br/>
<br/>
download stack, install it. (directions here:<br/>
<a href="https://deref-mail.com/mail/client/kRdVCklDXI4/dereferrer/?redirectUrl=https%3A%2F%2Fdocs.haskellstack.org%2Fen%2Fstable%2FREADME%2F" target="_blank">https://docs.haskellstack.org/en/stable/README/</a>)<br/>
git clone <a href="https://deref-mail.com/mail/client/EvSXf1wNFrs/dereferrer/?redirectUrl=https%3A%2F%2Fgithub.com%2Fidris-lang%2FIdris-dev.git" target="_blank">https://github.com/idris-lang/Idris-dev.git</a><br/>
cd idris-dev<br/>
stack install<br/>
<br/>
And then either run ~/.local/bin/idris or make sure .local/bin is in<br/>
your PATH so that you can run idris on the command line.<br/>
<br/>
On Tue, Aug 29, 2017 at 9:02 AM, Manny Romero <mannyromero@mail.com> wrote:<br/>
> I am a Linux user (Mint 18) trying to install Idris. I don't know the<br/>
> slightest thing about computers. I barely managed to install Linux, and<br/>
> later the full GHC, based on ample instructions available on the Web. (Still<br/>
> don't actually recall how I did it!)<br/>
><br/>
> Idris, however, seems a little trickier. I followed the website<br/>
> (<a href="https://deref-mail.com/mail/client/sCSRGQxPnUM/dereferrer/?redirectUrl=https%3A%2F%2Fwww.idris-lang.org%2Fdownload%2F%29%27s" target="_blank">https://www.idris-lang.org/download/)'s</a> instructions:<br/>
><br/>
> cabal update<br/>
> cabal install idris<br/>
><br/>
> ...because apparently I installed "cabal" at some point. But I get this<br/>
> message, which apparently is quite common:<br/>
><br/>
> cabal: The following packages are likely to be broken by the reinstalls:<br/>
> semigroupoids-5.1<br/>
> lens-4.15.1<br/>
> kan-extensions-5.0.1<br/>
> profunctors-5.2<br/>
> comonad-5<br/>
> bifunctors-5.4.1<br/>
> Use --force-reinstalls if you want to install anyway.<br/>
><br/>
> ...those are some of my favorite things! I can't live without them! I am<br/>
> reading things about creating a "sandbox" and so forth. But I cannot use or<br/>
> make sense of this information. I don't know the first thing about cabal; I<br/>
> never use it; I just load everything into GHCI all the time.<br/>
><br/>
> Does anyone have some *specific* instructions that I can follow (as "rotely"<br/>
> and dumbly as possible) to get Idris downloaded so I can use it for some<br/>
> beginning studies, without breaking Haskell?<br/>
><br/>
> _______________________________________________<br/>
> Beginners mailing list<br/>
> Beginners@haskell.org<br/>
> <a href="https://deref-mail.com/mail/client/FpfSokSl23M/dereferrer/?redirectUrl=http%3A%2F%2Fmail.haskell.org%2Fcgi-bin%2Fmailman%2Flistinfo%2Fbeginners" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br/>
></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 name="quoted-content"> </div>
</div>
</div>
</div></div></body></html>