From 80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Thu, 9 Apr 2026 23:07:23 +0200
Subject: fix build on linux

---
 .../RiverWindowManagementV1/Resolved.lean          | 83 ++++++++++++++++++++++
 1 file changed, 83 insertions(+)
 create mode 100644 lib/Wayland/Protocols/RiverWindowManagementV1/Resolved.lean

(limited to 'lib/Wayland/Protocols/RiverWindowManagementV1/Resolved.lean')

diff --git a/lib/Wayland/Protocols/RiverWindowManagementV1/Resolved.lean b/lib/Wayland/Protocols/RiverWindowManagementV1/Resolved.lean
new file mode 100644
index 0000000..0022cb6
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverWindowManagementV1/Resolved.lean
@@ -0,0 +1,83 @@
+import Wayland.Display
+import Wayland.Protocols.RiverWindowManagementV1.Interface
+import Wayland.Protocols.Wayland.Interface
+
+namespace Wayland.Protocols
+
+instance instResolvedInterfaceRiverWindowManagerV1 : ResolvedInterface RiverWindowManagerV1.name where
+  referencedInterfaces := #[
+    ⟨RiverDecorationV1.name, inferInstance⟩,
+    ⟨RiverNodeV1.name, inferInstance⟩,
+    ⟨RiverOutputV1.name, inferInstance⟩,
+    ⟨RiverPointerBindingV1.name, inferInstance⟩,
+    ⟨RiverSeatV1.name, inferInstance⟩,
+    ⟨RiverShellSurfaceV1.name, inferInstance⟩,
+    ⟨RiverWindowManagerV1.name, inferInstance⟩,
+    ⟨RiverWindowV1.name, inferInstance⟩,
+    ⟨WlBuffer.name, inferInstance⟩,
+    ⟨WlCallback.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+    ⟨WlRegion.name, inferInstance⟩,
+    ⟨WlSurface.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverWindowV1 : ResolvedInterface RiverWindowV1.name where
+  referencedInterfaces := #[
+    ⟨RiverDecorationV1.name, inferInstance⟩,
+    ⟨RiverNodeV1.name, inferInstance⟩,
+    ⟨RiverOutputV1.name, inferInstance⟩,
+    ⟨RiverPointerBindingV1.name, inferInstance⟩,
+    ⟨RiverSeatV1.name, inferInstance⟩,
+    ⟨RiverShellSurfaceV1.name, inferInstance⟩,
+    ⟨RiverWindowV1.name, inferInstance⟩,
+    ⟨WlBuffer.name, inferInstance⟩,
+    ⟨WlCallback.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+    ⟨WlRegion.name, inferInstance⟩,
+    ⟨WlSurface.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverDecorationV1 : ResolvedInterface RiverDecorationV1.name where
+  referencedInterfaces := #[
+    ⟨RiverDecorationV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverShellSurfaceV1 : ResolvedInterface RiverShellSurfaceV1.name where
+  referencedInterfaces := #[
+    ⟨RiverNodeV1.name, inferInstance⟩,
+    ⟨RiverShellSurfaceV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverNodeV1 : ResolvedInterface RiverNodeV1.name where
+  referencedInterfaces := #[
+    ⟨RiverNodeV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverOutputV1 : ResolvedInterface RiverOutputV1.name where
+  referencedInterfaces := #[
+    ⟨RiverOutputV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverSeatV1 : ResolvedInterface RiverSeatV1.name where
+  referencedInterfaces := #[
+    ⟨RiverDecorationV1.name, inferInstance⟩,
+    ⟨RiverNodeV1.name, inferInstance⟩,
+    ⟨RiverOutputV1.name, inferInstance⟩,
+    ⟨RiverPointerBindingV1.name, inferInstance⟩,
+    ⟨RiverSeatV1.name, inferInstance⟩,
+    ⟨RiverShellSurfaceV1.name, inferInstance⟩,
+    ⟨RiverWindowV1.name, inferInstance⟩,
+    ⟨WlBuffer.name, inferInstance⟩,
+    ⟨WlCallback.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+    ⟨WlRegion.name, inferInstance⟩,
+    ⟨WlSurface.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverPointerBindingV1 : ResolvedInterface RiverPointerBindingV1.name where
+  referencedInterfaces := #[
+    ⟨RiverPointerBindingV1.name, inferInstance⟩,
+  ]
+
+
+end Wayland.Protocols
\ No newline at end of file
-- 
cgit v1.3.1