Open gergoerdi opened 2 years ago
This is a duplicate of https://github.com/tweag/asterius/issues/894, except for the Docker image size, that is a different issue.
Perhaps this issue can be updated to only focus on the size of the prebuilt container so that we keep issues separate, or close as duplicate.
There are currently two documented ways of installing
ghc-asterius
:Both of these have problems:
The Docker image contains a LOT more than just
ghc-asterius
, it comes in at a whopping 20G, it only runs as root. And even if it worked smoothly, it wouldn't really solve anything: this is a prebuilt container image, so there's no way to do local changes to theghc-asterius
source tree and then rebuild use.The Stack installation method relies on a script
utils/make-packages.py
which is not part ofmaster
as of the time of creating this ticket.