Changes
2 changed files (+3/-1)
-
-
@@ -10,6 +10,8 @@ On NixOS you can also build this by hardcoding the directory of `libraylib.so` iOtherwise, install Raylib and run `lake build` and hope for the best. It probably won't work, but you can give it a try. To build a (huge) precompiled bundle that can run on any Linux distro, run `nix bundle .#packages.x86_64-linux.default`. ## Random notes Rewrite (a small subset of) OpenTTD in Lean!
-
-
-
@@ -14,7 +14,7 @@pname = "leanttd"; src = self; version = "0.1"; lakeHash = "sha256-d5tV9nqv5XwBKNBBxsnEPujbjpR9TgdTp5NUV3bX10g="; lakeHash = "sha256-z/yuuwpGutWWC1++ZJ189If4TGgJunpwNCh9NGasnRo="; buildInputs = [ pkgs.raylib ]; # This fixes a linker error hardeningDisable = [ "bindnow" ];
-