View all files | ||||
This branch requires Python 3.14.
Install pyenv https://github.com/pyenv/pyenv and pyenv-virtualenv https://github.com/pyenv/pyenv-virtualenv for your OS. Using pyenv and pyenv-virtualenv, you can install specific Python versions and create virtual environments within.
After installing pyenv and configuring your shell's environment variables (like ~/.zshrc or ~/.bashrc), you must restart your terminal session for the changes to take effect.
You can create install Python 3.14, create a virtual environment and activate it using the following commands:
You can skip the next two steps if you do not want to re-generate jextract binding classes from Python C API.
Download & extract jextract early access binary from
Put jextract in PATH
Install JDK 25 and define JAVA_HOME to be JDK 25 home
From the current directory
command builds and tests the project
runs a simple REPL. or
runs a sample script file