libgccjit bindings for Lean4.


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