Created
February 23, 2025 15:33
-
-
Save KinoThe-Kafkaesque/c8ba31d4c23003a73d93e58614ad240a to your computer and use it in GitHub Desktop.
install idris2 on ubuntu
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Install Idris2 on Ubuntu | |
| first install chez scheme | |
| ```bash | |
| sudo apt update | |
| sudo apt install chezscheme | |
| ``` | |
| then install idris2-pack | |
| ```bash | |
| bash -c "$(curl -fsSL https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash)" | |
| ``` | |
| idris2-pack will install idris2 and the dependencies. | |
| if the install fails, you can try to install the dependencies manually. | |
| ```bash | |
| sudo apt install build-essential | |
| sudo apt install libffi-dev | |
| sudo apt install libgmp-dev | |
| sudo apt install libz3-dev | |
| ``` | |
| then remove idris2-pack | |
| ```bash | |
| sudo rm -rf ~/.pack | |
| ``` | |
| then install idris2-pack again | |
| ```bash | |
| bash -c "$(curl -fsSL https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash)" | |
| ``` | |
| setup on vscode like editors | |
| install idris2 extension there are two extensions for idris2 | |
| i used this one | |
| https://github.com/bamboo/idris2-lsp-vscode | |
| since we installed idris2-pack, we can use the idris2-pack command to install | |
| the language server | |
| ```bash | |
| idris2-pack install idris2-lsp | |
| ``` | |
| and it will install the language server in the .pack/bin directory | |
| ```bash | |
| ls ~/.pack/bin | |
| ``` | |
| to add the language server to the path, you can add the following to your | |
| .bashrc file | |
| ```bash | |
| export PATH="$HOME/.pack/bin:$PATH" | |
| ``` | |
| then restart the terminal or source the .bashrc file | |
| ```bash | |
| source ~/.bashrc | |
| ``` |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment