Troubleshooting
Last updated
Last updated
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.
If you are getting errors like this when installing the dependencies:
You’ll need to install another version of LLVM with :
And then append the following line to the appropriate shell startup file (such as ${HOME}/.zshrc
or ${HOME}/.bashrc
):
exit 137
You may need to to at least 8GB on Mac or Windows, if you are getting error code like exit 137
qemu: uncaught target signal 6 (Aborted) - core dumped
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.
Sadly, there is that prevents x86-64 based Docker images from running smoothly on ARM-based Macbooks, we recommend one of the following options:
Downloading of our Keelung compiler.