fix build on linux

1 files changed, 38 insertions, 0 deletions

diff --git a/lib/Wayland/Protocols/RiverXkbBindingsV1/Resolved.lean b/lib/Wayland/Protocols/RiverXkbBindingsV1/Resolved.lean
new file mode 100644
index 0000000..1dfaa00
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverXkbBindingsV1/Resolved.lean
@@ -0,0 +1,38 @@
+import Wayland.Display
+import Wayland.Protocols.RiverWindowManagementV1.Interface
+import Wayland.Protocols.RiverXkbBindingsV1.Interface
+import Wayland.Protocols.Wayland.Interface
+
+namespace Wayland.Protocols
+
+instance instResolvedInterfaceRiverXkbBindingsV1 : ResolvedInterface RiverXkbBindingsV1.name where
+  referencedInterfaces := #[
+    ⟨RiverDecorationV1.name, inferInstance⟩,
+    ⟨RiverNodeV1.name, inferInstance⟩,
+    ⟨RiverOutputV1.name, inferInstance⟩,
+    ⟨RiverPointerBindingV1.name, inferInstance⟩,
+    ⟨RiverSeatV1.name, inferInstance⟩,
+    ⟨RiverShellSurfaceV1.name, inferInstance⟩,
+    ⟨RiverWindowV1.name, inferInstance⟩,
+    ⟨RiverXkbBindingV1.name, inferInstance⟩,
+    ⟨RiverXkbBindingsSeatV1.name, inferInstance⟩,
+    ⟨RiverXkbBindingsV1.name, inferInstance⟩,
+    ⟨WlBuffer.name, inferInstance⟩,
+    ⟨WlCallback.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+    ⟨WlRegion.name, inferInstance⟩,
+    ⟨WlSurface.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverXkbBindingV1 : ResolvedInterface RiverXkbBindingV1.name where
+  referencedInterfaces := #[
+    ⟨RiverXkbBindingV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverXkbBindingsSeatV1 : ResolvedInterface RiverXkbBindingsSeatV1.name where
+  referencedInterfaces := #[
+    ⟨RiverXkbBindingsSeatV1.name, inferInstance⟩,
+  ]
+
+
+end Wayland.Protocols
\ No newline at end of file