Reservoir

lean-gccjit

libgccjit bindings for Lean4.

Documentaion

• Lean bindings
• GCCJIT C API

How to use

• Install libgccjit:

  sudo pacman -S libgccjit # Arch Linux
  sudo apt install libgccjit-12-dev # Debian (bookworm)
  

• Add this package to lakefile.lean:

  require «lean-gccjit» from git "https://github.com/schrodingerzhu/lean-gccjit" @ "0.1.3"
  

• Add libgccjit to binary dependency (this is required because extern_lib does not handle shared libraries yet):

  lean_exe «my-exe» {
    root := `Main
    moreLinkArgs := #["-lgccjit"] -- add this line
  }