Prerequisites
The Juvix compiler requires to be available on your system PATH
in order to build native binaries.
If you use the , you can install LLVM/clang via
brew update
brew install llvm
Alternatively, you can install the
On Ubuntu/Debian, install clang via
sudo apt-get update
sudo apt install clang
On Arch Linux, install clang via
sudo pacman -Syu
sudo pacman -S clang
Juvix Compiler
Next, you need to install the Juvix compiler.
If you use the you can use our tap:
brew update
brew tap anoma/juvix
brew install --overwrite juvix-nightly
Alternatively, you can download and unzip the compiler executable linked below
and move it to a directory on your shell's PATH (e.g., /usr/local/bin
).
Download and unzip the compiler executable linked below
and move it to a directory on your shell's PATH (e.g., /usr/local/bin
).
IDE Setup
Lastly, you can set up the IDE of your choice.
First install visual studio code from the .
In the extension tab search for juvix
and install the extension that features the Tara logo.
See the for usage information.
Clone the
git clone https://github.com/anoma/juvix-mode.git
And add the following lines to your Emacs configuration file:
(push "/path/to/juvix-mode/" load-path)
(require 'juvix-mode)
See the for usage information.