raylean

Lean4 bindings for raylib.

Community

If you want to contribute to Raylean, you can find us on Discord 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.
  • libgmp, required to link lean executables
  • libuv, required to link lean executables

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.

libgmp and libuv

These are required to link lean executables.

Install using Homebrew with:

brew install gmp
brew install libuv

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.

AssetAttribution
walter.pngLiza Schulze
Asset.svgLiza Schulze