3 ms·

He's a hardcore Debian guy. I'm sure that if he needs a custom build he probably farms out the compilation to one of his remote servers, and just downloads the

by pyre 14y ago

He's a hardcore Debian guy. I'm sure that if he needs a custom build he probably farms out the compilation to one of his remote servers, and just downloads the resultant .deb file.

agumonkey 14y ago
Not sure I understand, ghc/platform is hundreds of MB iirc, remotely built or not. Or maybe you meant a tailored ghc distro without all the statically compiled libs and such ?
- pyre 14y ago
  I assumed that you were referring to compilation time on his netbook, but I guess you were referring to download time over dial-up?
  - agumonkey 14y ago
    Exactly, now we're both in sync.
    - pyre 14y ago
      I assume that he probably doesn't have to compile GHC all that often. He can probably just drive to the nearest place with free Wifi and download whatever he needs over a faster connection.