You'll need a recent version of Rust (1.70+) and the Sollya
tool. On macOS, you can install the latter via Homebrew with
brew install sollya
. On Ubuntu or Debian, use apt install sollya
.
Finally, clone the repository and build with cargo build
.
Optionally, you can register the compiler as an external stage for the
Calyx driver, fud
. After installing fud
, register the compiler with
fud register -p <absolute path to calyx-nums repository>/fud/stage.py calyx-nums