Troubleshooting
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.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)
brew install [email protected]
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"
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 137Sadly, 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.
- If you just want to play around and don't care about the performance, the Keelung playground has everything loaded.