Troubleshooting
Cannot install GHC on Mac
If you are getting the following message when installing GHC
via GHCup
:
You may need to install the Xcode Command Line Tools on Mac by running xcode-select –install
in order for GHCup to proceed with the installations.
Couldn't figure out LLVM version!
If you are getting errors like this when installing the dependencies:
You’ll need to install another version of LLVM with brew:
And then append the following line to the appropriate shell startup file (such as ${HOME}/.zshrc
or ${HOME}/.bashrc
):
Docker: exit 137
exit 137
You may need to increase the memory limit of Docker container to at least 8GB on Mac or Windows, if you are getting error code like exit 137
Docker: qemu: uncaught target signal 6 (Aborted) - core dumped
qemu: uncaught target signal 6 (Aborted) - core dumped
Sadly, there is a bug in QEMU that prevents x86-64 based Docker images from running smoothly on ARM-based Macbooks, we recommend one of the following options:
Running in x86-64 environments if you want to use the compiler/prover/verifier from Docker images.
Downloading binaries of our Keelung compiler.
If you just want to play around and don't care about the performance, the Keelung playground has everything loaded.
Last updated