Cheng Shao

Thank you. I pushed the suggested fix; fingers crossed for the result in https://circleci.com/gh/tweag/asterius/7669

Confirmed the same error on CI. Maybe the easiest fix is to install gnu binutils via `brew`, and set up symlink only for `ar`. I'll see if a better fix...

Thanks, but I think we'll hold this PR at the moment, given `plzwrk` is still in early days. Also, the `cabal.config`/`lts.sh` are harder to update when non-stackage packages are added.

Can you run `sudo apt update && sudo apt install -y procps` and then `top` in the container to see how much memory is available? That being said, I don't...

There's an error (see https://circleci.com/gh/tweag/asterius/8576) when we attempt to use `runghc` to run `genapply`: ``` ghc-toolkit > Configuring ghc-toolkit-0.0.1... ghc-toolkit > ghc: mmap 131072 bytes at 0x0: Operation not permitted...

@ProofOfKeags You can test building and booting `asterius` locally. Check the CircleCI [config](https://github.com/tweag/asterius/blob/wip-darwin-ci/.circleci/config.yml#L37) for example build steps. We're currently blocked on an `ar`-related issue (`ar` in the darwin environment doesn't...

Hi, `--symlink-bindir` has been replaced by `--installdir` in recent `cabal` versions. And it looks like you haven't run `ahc-boot` after you built asterius?

Sorry for the frustration. We don't have official nix build support yet; as for how to build the custom ghc, it's a part of the documentation: https://asterius.netlify.app/building.html#about-the-custom-ghc-fork. I'm not enough...

> compile the C code with emscripten and make it available somehow? That code can only be used via `foreign import javascript`, which means one needs to patch the `ccall`...

`terrorjack/asterius:latest` has now been updated to `terrorjack/asterius:200805`. The docker images are built with a different CI infra, and takes a lot of time to build.