Building instructions, set FLAG_WINDOW_HIGHDPI for scaling on Wayland

Changes

2 changed files (+18/-9)

• Main.lean
  • @@ -3,8 +3,8 @@ import Raylean
    open Raylean Types - def screenWidth := 800 - def screenHeight := 450 + def screenWidth := 1280 + def screenHeight := 720 private def initialBallPosition : Vector2 := { x := screenWidth.toFloat / 2, y := screenHeight.toFloat / 2 }
  • @@ -79,6 +79,9 @@ def blah : Except String Road := Lean.Json.parse serialized >>= Lean.fromJson?
    def main : IO Unit := do - initWindow 1280 720 "LeanTTD" + -- This constant is FLAG_WINDOW_HIGHDPI + -- https://github.com/raysan5/raylib/blob/aaacda6e147031f2af0cfb6c1fd7e64d761ddb1f/src/raylib.h#L567 + setConfigFlags 0x00002000 + initWindow screenWidth screenHeight "LeanTTD" setTargetFPS 60 doRender
• README.md
  • @@ -1,5 +1,17 @@
    # LeanTTD + An OpenTTD-like game written in Lean + + ## Building + + To build this using Nix (least painful trust me), just run `nix build`. + + On NixOS you can also build this by hardcoding the directory of `libraylib.so` in `lakefile.toml` and running `lake build`, which can be much faster due to caching. + + Otherwise, install Raylib and run `lake build` and hope for the best. It probably won't work, but you can give it a try. + + ## Random notes + Rewrite (a small subset of) OpenTTD in Lean! - Focus on road vehicles for now for simplicity
  • @@ -30,9 +42,3 @@ The internal data representation of the game is a 2D vector for the grid for fas
    First step: render the grid using raylib Street names - - ## Building - - Hmm raylib_bindings.c needs a patch - - Write a flake.nix for this? Raylean looks pretty nasty to build