fix build on linux

1 files changed, 31 insertions, 0 deletions

diff --git a/lib/Wayland/Protocols/RiverXkbConfigV1/Resolved.lean b/lib/Wayland/Protocols/RiverXkbConfigV1/Resolved.lean
new file mode 100644
index 0000000..a7bcc7e
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverXkbConfigV1/Resolved.lean
@@ -0,0 +1,31 @@
+import Wayland.Display
+import Wayland.Protocols.RiverInputManagementV1.Interface
+import Wayland.Protocols.RiverXkbConfigV1.Interface
+import Wayland.Protocols.Wayland.Interface
+
+namespace Wayland.Protocols
+
+instance instResolvedInterfaceRiverXkbConfigV1 : ResolvedInterface RiverXkbConfigV1.name where
+  referencedInterfaces := #[
+    ⟨RiverInputDeviceV1.name, inferInstance⟩,
+    ⟨RiverXkbConfigV1.name, inferInstance⟩,
+    ⟨RiverXkbKeyboardV1.name, inferInstance⟩,
+    ⟨RiverXkbKeymapV1.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverXkbKeymapV1 : ResolvedInterface RiverXkbKeymapV1.name where
+  referencedInterfaces := #[
+    ⟨RiverXkbKeymapV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverXkbKeyboardV1 : ResolvedInterface RiverXkbKeyboardV1.name where
+  referencedInterfaces := #[
+    ⟨RiverInputDeviceV1.name, inferInstance⟩,
+    ⟨RiverXkbKeyboardV1.name, inferInstance⟩,
+    ⟨RiverXkbKeymapV1.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+  ]
+
+
+end Wayland.Protocols
\ No newline at end of file