Update to raylib-5.5

c/raylib_bindings.c

@@ -208,7 +208,7 @@ lean_obj_res loadImage(b_lean_obj_arg resource_name_arg) {
 
   bundle_free_resource((void*) data);
 
-  if (!IsImageReady(image)) {
+  if (!IsImageValid(image)) {
     return string_io_error("loadImage: LoadImageFromMemory failed");
   }
 

justfile

@@ -60,7 +60,7 @@ libuv_prefix := if os() == "macos" { shell("brew --prefix libuv") } else { "" }
 library_path := if gmp_prefix == "" { "" } else if libuv_prefix == "" { "" } else {gmp_prefix + "/lib:" + libuv_prefix + "/lib"}
 
 static_lib_path := join(justfile_directory(), "lib")
-raylib_src_path := join(justfile_directory(), "raylib-5.0", "src")
+raylib_src_path := join(justfile_directory(), "raylib-5.5", "src")
 resource_dir := join(justfile_directory(), "resources")
 bundle_h_path := join(justfile_directory(), "c", "include", "bundle.h")
 makebundle_src_path := join(justfile_directory(), "scripts", "makeBundle.lean")

lakefile.lean

@@ -38,7 +38,7 @@ target raylib_bindings.o pkg : FilePath := do
   let oFile := pkg.buildDir / "c" / "raylib_bindings.o"
   let includes := pkg.dir / "c" / "include"
   let srcJob ← inputTextFile <| pkg.dir / "c" / "raylib_bindings.c"
-  let raylibInclude := pkg.dir / "raylib-5.0" / "src"
+  let raylibInclude := pkg.dir / "raylib-5.5" / "src"
   let resvgInclude := pkg.dir / "resvg-0.43.0" / "crates" / "c-api"
   let weakArgs := #["-I", s!"{raylibInclude}", "-I", s!"{includes}", "-I", s!"{resvgInclude}"]
   let mut traceArgs := #["-fPIC"]