paulcadman/raylean

Lean4 bindings for raylib

raylean

Lean4 bindings for raylib.

Community

If you want to contribute to Raylean, you can find us on Discord

How build the demo executable target (MacOS only)

The project comes with a demo executable target. To build and run this use the provided justfile.

For now only macOS is supported.

Dependencies

Raylean has several dependencies:

• Lean, which we use for development of games.
• Just, as a replacement for Make.
• XCode for macOS SDK frameworks like OpenGL.
• Rust for building resvg, which provides SVG support.

You need to install all four to build Raylean. Below follows instructions for each.

Lean

Use the official documentation to setup Lean.

Just command runner

Install using Homebrew with:

brew install just

XCode Commandline Tools

The macOS clang installation and macOS SDK frameworks like OpenGL are required when linking the executable.

Install by running:

xcode-select --install

Rust

curl https://sh.rustup.rs -sSf | sh

Or use the official documentation to setup Rust.

Build and Run

To build the raylib static library and the demo executable, run the following command in the project:

just build

To run the demo, run the following command in the project:

just run

Assets

Assets used by the demo application are stored in the resources directory.

Asset	Attribution
walter.png	Liza Schulze
Asset.svg	Liza Schulze