[Haskell-beginners] Installing Idris for Linux Dummies: "The following packages are likely to be broken..."

[David McBride]

The problem most users face with using straight up cabal is that often
the needs of one package conflict with the needs of some of the others
you've installed.  I highly recommend you use stack to install idris.
The process should look something like this:

download stack, install it. (directions here:
https://docs.haskellstack.org/en/stable/README/)
git clone https://github.com/idris-lang/Idris-dev.git
cd idris-dev
stack install

And then either run ~/.local/bin/idris or make sure .local/bin is in
your PATH so that you can run idris on the command line.

On Tue, Aug 29, 2017 at 9:02 AM, Manny Romero <mannyromero at mail.com> wrote:
> I am a Linux user (Mint 18) trying to install Idris. I don't know the
> slightest thing about computers. I barely managed to install Linux, and
> later the full GHC, based on ample instructions available on the Web. (Still
> don't actually recall how I did it!)
>
> Idris, however, seems a little trickier. I followed the website
> (https://www.idris-lang.org/download/)'s instructions:
>
> cabal update
> cabal install idris
>
> ...because apparently I installed "cabal" at some point. But I get this
> message, which apparently is quite common:
>
> cabal: The following packages are likely to be broken by the reinstalls:
> semigroupoids-5.1
> lens-4.15.1
> kan-extensions-5.0.1
> profunctors-5.2
> comonad-5
> bifunctors-5.4.1
> Use --force-reinstalls if you want to install anyway.
>
> ...those are some of my favorite things! I can't live without them! I am
> reading things about creating a "sandbox" and so forth. But I cannot use or
> make sense of this information. I don't know the first thing about cabal; I
> never use it; I just load everything into GHCI all the time.
>
> Does anyone have some *specific* instructions that I can follow (as "rotely"
> and dumbly as possible) to get Idris downloaded so I can use it for some
> beginning studies, without breaking Haskell?
>
> _______________________________________________
> Beginners mailing list
> Beginners at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
>