<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>
<div>stack setup succeeded! But stack install got to 10/90 before:</div>
<div> </div>
<div>
<div>Process exited with code: ExitFailure 1</div>
<div> Configuring digest-0.0.1.2...<br/>
Cabal-simple_mPHDZzAJ_1.24.2.0_ghc-8.0.2: Missing dependency on a 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 is<br/>
already installed but in a non-standard location then you can use the 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 the C<br/>
compiler at the preprocessing stage. In this case you can re-run configure<br/>
with the verbosity flag -v3 to see the error messages.</div>
</div>
<div>
<div> </div>
<div> </div>
<div>...Also, I don't seem to have a .local/bin. The only thing I see in .local is a folder "share", which seems to have a bunch of things inside that came with the Linux distribution (the file manager and so forth). I don't know how or if this is related to the problem.</div>
<div> </div>
<div>Thanks again. This is really the only place I can think of that could give me any hope of getting this installed.</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:01 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] Multiline code in GHCi</div>
<div name="quoted-content">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/>
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 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> 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>