[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"x5JcphjnHe":3},"# Flappy Bird in Lean\n\nThis repo contains a clone of flappy bird implemented using [Lean](https://lean-lang.org/) and [Raylib](https://www.raylib.com).\n\nhttps://github.com/user-attachments/assets/1a588542-be20-4f08-b17b-4b07a934c51d\n\n## Building for macOS\n\n1. Install Xcode command line tools\n\n``` shell\nxcode-select --install\n```\n\n2. Install dependencies\n\nI recommend using [homebrew](https://brew.sh/).\n\n``` shell\nbrew install gmp libuv sdl3 pkgconf resvg\n```\n\n3. Build the project\n\n``` shell\nmake build\n```\n\n4. Run the game\n\n``` shell\nmake run\n```\n\nPress SPACE to flap.\n\n## Building for Linux\n\nThe project `Makefile` uses `pkg-config` to find dependencies, so it should work\nif you have a C compiler installed and the dependencies listed in step 2. are\ndiscoverable using `pkg-config`.\n\nI have tested this with Arch linux, the `pkg-config` file was missing from the\n`resvg` package so for the build to work you have to manually add the following\nfile:\n\n`/usr/local/lib/pkgconfig/resvg.pc`\n``` text\nprefix=/usr\nlibdir=${prefix}/lib\nincludedir=${prefix}/include\n\nName: resvg\nDescription: SVG rendering library\nVersion: 0.47.0\nLibs: -L${libdir} -lresvg\nCflags: -I${includedir}\n```\n\nIf you get it to work with other Linux distros then let me know and I will\nupdate this section.\n",1780846774050]