<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>
<div> / _/___/ /____(_)____ <br/>
/ // __ / ___/ / ___/ Version 1.1.1-git:5aa99ef<br/>
_/ // /_/ / / / (__ ) http://www.idris-lang.org/ <br/>
/___/\__,_/_/ /_/____/ Type :? for help </div>
<div>Idris is free software with ABSOLUTELY NO WARRANTY. <br/>
For details type :warranty.<br/>
Idris></div>
<div> </div>
<div>I am so happy! Thanks Mr. McBride!</div>
<div> </div>
<div>(P.S. In the small chance anyone reads this far into the thread:</div>
<div> </div>
<div>>You are very close. Try apt-get install zlib or possibly apt-get<br/>
install zlib-dev. I'm also seeing a possible zlib-bin. This is all<br/>
mint specific info, so I can't get any closer than that.</div>
<div> </div>
<div>It's actually:</div>
<div> </div>
<div>zlib1g-dev</div>
<div> </div>
<div>...not any of the others, or the suggestion the computer makes when you try to install "zlib-bin". As seen here: " https://stackoverflow.com/questions/30688778/braving-cabal-hell-on-ubuntu-12-04 ". But I never would've known this was all I needed to find out, or of course gotten anywhere near that point, without Mr. McBride!</div>
<div> </div>
<div>Soon I will actually understand what I just did. But for now, off to play with dependent types, thanks to him!)</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> Tuesday, August 29, 2017 at 12:31 PM<br/>
<b>From:</b> "David McBride" <toad3k@gmail.com><br/>
<b>To:</b> "Manny Romero" <mannyromero@mail.com><br/>
<b>Cc:</b> "Haskell Beginners" <beginners@haskell.org><br/>
<b>Subject:</b> Re: [Haskell-beginners] Installing Idris for Linux Dummies: "The following packages are likely to be broken..."</div>
<div name="quoted-content">You are very close. Try apt-get install zlib or possibly apt-get<br/>
install zlib-dev. I'm also seeing a possible zlib-bin. This is all<br/>
mint specific info, so I can't get any closer than that.<br/>
<br/>
You will not get a .local directory until you succesfully install a<br/>
package via stack for the first time.<br/>
<br/>
On Tue, Aug 29, 2017 at 12:24 PM, Manny Romero <mannyromero@mail.com> wrote:<br/>
> stack setup succeeded! But stack install got to 10/90 before:<br/>
><br/>
> Process exited with code: ExitFailure 1<br/>
> Configuring digest-0.0.1.2...<br/>
> Cabal-simple_mPHDZzAJ_1.24.2.0_ghc-8.0.2: Missing dependency on a<br/>
> foreign<br/>
> library:<br/>
> * Missing (or bad) header file: zlib.h<br/>
> * Missing C library: z<br/>
> This problem can usually be solved by installing the system package that<br/>
> provides this library (you may need the "-dev" version). If the library<br/>
> is<br/>
> already installed but in a non-standard location then you can use the<br/>
> flags<br/>
> --extra-include-dirs= and --extra-lib-dirs= to specify where it is.<br/>
> If the header file does exist, it may contain errors that are caught by<br/>
> the C<br/>
> compiler at the preprocessing stage. In this case you can re-run<br/>
> configure<br/>
> with the verbosity flag -v3 to see the error messages.<br/>
><br/>
><br/>
> ...Also, I don't seem to have a .local/bin. The only thing I see in .local<br/>
> is a folder "share", which seems to have a bunch of things inside that came<br/>
> with the Linux distribution (the file manager and so forth). I don't know<br/>
> how or if this is related to the problem.<br/>
><br/>
> Thanks again. This is really the only place I can think of that could give<br/>
> me any hope of getting this installed.<br/>
> Sent: Tuesday, August 29, 2017 at 12:01 PM<br/>
> From: "David McBride" <toad3k@gmail.com><br/>
> To: "Manny Romero" <mannyromero@mail.com><br/>
> Cc: "Haskell Beginners" <beginners@haskell.org><br/>
> Subject: Re: [Haskell-beginners] Multiline code in GHCi<br/>
> Sorry, I should have kept reading. stack setup will most likely<br/>
> install ghc without a problem.<br/>
><br/>
> Since stack doesn't appear to support your distro, if it doesn't it<br/>
> may be because you are missing some of those libraries it mentions.<br/>
> It looks like it is based on debian, so you would go apt-get install<br/>
> <pkg> the various packages gcc, make, libffi, zlib, libgmp and<br/>
> libtinfo.<br/>
><br/>
> If stack setup succeeds, then you stack install and after that, you<br/>
> should have files in /home/third/.local/bin, one of which is likely<br/>
> idris.<br/>
><br/>
> Hopefully everything works okay for you!<br/>
><br/>
><br/>
> On Tue, Aug 29, 2017 at 11:49 AM, Manny Romero <mannyromero@mail.com> wrote:<br/>
>> Thanks! I don't have the slightest idea what any of this did, with the<br/>
>> exception of "cd Idris-dev", but it seems to have worked...up until I got<br/>
>> this message:<br/>
>><br/>
>> Populated index cache.<br/>
>> No compiler found, expected minor version match with ghc-8.0.2 (x86_64)<br/>
>> (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/,<br/>
>> try running "stack setup" or use the "--install-ghc" flag.<br/>
>><br/>
>> ...additionally, I don't seem to have acquired a ~/.local/bin/idris ("no<br/>
>> such file or directory"), nor for that matter do I know how to adjust my<br/>
>> PATH.<br/>
>><br/>
>> Also, for what it may be worth, I had been warned after the "curl -sSL<br/>
>> <a href="https://get.haskellstack.org/" target="_blank">https://get.haskellstack.org/</a> | sh" that:<br/>
>><br/>
>> Detected Linux distribution: linuxmint<br/>
>> This installer doesn't support your Linux distribution, trying generic<br/>
>> bindist...<br/>
>> Stack has been installed to: /usr/local/bin/stack<br/>
>> 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 <a href="http://docs.haskellstack.org/en/stable/install_and_upgrade/" target="_blank">http://docs.haskellstack.org/en/stable/install_and_upgrade/</a><br/>
>> Pull requests to add support for this distro would be welcome!<br/>
>> WARNING: '/home/third/.local/bin' is not on your PATH.<br/>
>> For best results, please add it to the beginning of PATH in your<br/>
>> profile.<br/>
>><br/>
>> ...Sorry to be so completely clueless about the most basic aspects of<br/>
>> what's<br/>
>> going on, but it really is the state of my knowledge for now!<br/>
>><br/>
>><br/>
>> -------------------------<br/>
>><br/>
>> 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://docs.haskellstack.org/en/stable/README/" target="_blank">https://docs.haskellstack.org/en/stable/README/</a>)<br/>
>> git clone <a href="https://github.com/idris-lang/Idris-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><br/>
>> 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.<br/>
>>> (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://www.idris-lang.org/download/)'s" 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<br/>
>>> or<br/>
>>> make sense of this information. I don't know the first thing about cabal;<br/>
>>> 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<br/>
>>> "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="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br/>
>>><br/>
>></div>
</div>
</div>
</div></div></body></html>