Giovanni,
That is good to hear.
To be clear though, I am not suggesting Docker on a Linux machine, but on a
Mac. There are probably other good options, but Docker at least seems to be
pretty viable.
I'm guessing your Debian release is newer than mine ("jessie"). The
haskell-stack package is not part of jessie, but seems to be part of
"stretch" and later releases. I'm glad that worked well for you.
-Cris
On Tue, Jul 2, 2019 at 1:30 PM Giovanni Mascellani <[email protected]>
wrote:
> Hi,
>
> Il 02/07/19 20:34, Cris Perdue ha scritto:
> > Installing GHC (the Haskell compiler) and the "stack" tool using the
> > official Haskell image on Docker Hub is looking like a success at this
> > point. The image is large -- IIRC 200MB download and looks to be a bit
> > over 1GB on disk, but functions well for me, and Docker makes it easy to
> > discard at some future time if I wish.
>
> Unless I misremember, all I had to do on a Debian system to run Mario's
> program was to install the package haskell-stack and then execute the
> stack command as documented by Mario. No need to deal with docker.
>
> Giovanni.
> --
> Giovanni Mascellani <[email protected]>
> Postdoc researcher - Université Libre de Bruxelles
>
> --
> You received this message because you are subscribed to the Google Groups
> "Metamath" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to [email protected].
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/metamath/d02cb126-87db-137e-8898-943134a6f7d7%40gmail.com
> .
>
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/CAOoe%3DW%2BYCic9m9suBpBnwnu_i645L8hieaZWhJaWW%2BAAaANQuQ%40mail.gmail.com.
