Troubleshooting

Cannot install GHC on Mac

If you are getting the following message when installing GHC via GHCup:

[ ghc-configure ] checking Xcode version ... not found (too old?)

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:

<no location info>: error:
    Warning: Couldn't figure out LLVM version!
             Make sure you have installed LLVM between [9 and 13)

You’ll need to install another version of LLVM with brew:

brew install llvm@12

And then append the following line to the appropriate shell startup file (such as ${HOME}/.zshrc or ${HOME}/.bashrc):

export PATH="/opt/homebrew/opt/llvm/bin:$PATH"

Docker: 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

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.