code5hot

please see #15 for comments on suitability. I think it shouldn't be a problem and there are significant advantages for the future but you should accept this pull request in...

#16

some peculiarities of ghc makefiles means this isn't useful immediately but now its there that can begin to change. temporary problems: A) the makefiles run a long ghc job just...

these problems are normally trivially removable by small Makefile adjustments unless you use Makefiles as a type of script although it's possible that the slow first make requires ghc to...

#17

https://github.com/gregwebs/ghc-docker-dev/pull/13

Is there an automated build of this somewhere so I can try it? With the state of OSS these days I don't expect it's possible to install the right combination...

hm, it seems I've misunderstood the docker file in my pull request so it probably doesn't fix the problem. So I wonder, why is happy < 1.19.10 in the image?

curiously, happy 1.19.10 is available among the configured repositories - it's just not installed in the image by default

#13 might be a good idea anyway since it looks like the intention that this configuration is parameterised by the time of rebuild and that moment's associated debian.org configuration. However,...