Documentation

LeanGccJit.Version

@[extern lean_gcc_jit_version_major]

Get the major version of the GCC JIT library.

@[extern lean_gcc_jit_version_minor]

Get the minor version of the GCC JIT library.

@[extern lean_gcc_jit_version_patchlevel]

Get the patchlevel of the GCC JIT library.