Release raygui patch fix

tjammer · Oct 5, 2024 · 33bfeb9 · 33bfeb9
1 parent 77c7417
commit 33bfeb9
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 18 deletions.
diff --git a/dune-project b/dune-project
@@ -23,14 +23,15 @@
 
 (package
  (name raygui)
- (version 0.3.0)
+ (version 1.3.1)
  (description "OCaml bindings for raygui")
  (synopsis "OCaml bindings for raygui")
  (depends
   dune
   dune-configurator
   (ctypes (>= 0.14))
-  (raylib (>= 0.6))))
+  (raylib (>= 0.6))
+  (patch (>= 2.0))))
 
 (package
  (name raylib-gen)

diff --git a/raygui.opam b/raygui.opam
@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.0"
+version: "1.3.1"
 synopsis: "OCaml bindings for raygui"
 description: "OCaml bindings for raygui"
 maintainer: ["tobiasjammer@gmail.com"]
@@ -13,6 +13,7 @@ depends: [
   "dune-configurator"
   "ctypes" {>= "0.14"}
   "raylib" {>= "0.6"}
+  "patch" {>= "2.0"}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/src/c/dune b/src/c/dune
@@ -181,21 +181,6 @@
   (:include library_flags.sexp)))
 
 (rule
- (alias patch-raygui)
- (targets raygui-patched)
- (deps
-  (source_tree vendor/raygui)
-  gui_warnings.patch
-  (:discover apply_patch.exe))
- (action
-  (no-infer
-   (progn
-    (run chmod +w vendor/raygui/src/raygui.h)
-    (run ./apply_patch.exe gui_warnings.patch)
-    (run touch raygui-patched)))))
-
-(rule
- (deps raygui-patched)
  (action
   (with-stdout-to
    c_generated_gui.c