fix build on linux

1 files changed, 39 insertions, 0 deletions

diff --git a/lib/Wayland/Protocols/RiverLibinputConfigV1/Resolved.lean b/lib/Wayland/Protocols/RiverLibinputConfigV1/Resolved.lean
new file mode 100644
index 0000000..1e538bd
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverLibinputConfigV1/Resolved.lean
@@ -0,0 +1,39 @@
+import Wayland.Display
+import Wayland.Protocols.RiverInputManagementV1.Interface
+import Wayland.Protocols.RiverLibinputConfigV1.Interface
+import Wayland.Protocols.Wayland.Interface
+
+namespace Wayland.Protocols
+
+instance instResolvedInterfaceRiverLibinputConfigV1 : ResolvedInterface RiverLibinputConfigV1.name where
+  referencedInterfaces := #[
+    ⟨RiverInputDeviceV1.name, inferInstance⟩,
+    ⟨RiverLibinputAccelConfigV1.name, inferInstance⟩,
+    ⟨RiverLibinputConfigV1.name, inferInstance⟩,
+    ⟨RiverLibinputDeviceV1.name, inferInstance⟩,
+    ⟨RiverLibinputResultV1.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverLibinputDeviceV1 : ResolvedInterface RiverLibinputDeviceV1.name where
+  referencedInterfaces := #[
+    ⟨RiverInputDeviceV1.name, inferInstance⟩,
+    ⟨RiverLibinputAccelConfigV1.name, inferInstance⟩,
+    ⟨RiverLibinputDeviceV1.name, inferInstance⟩,
+    ⟨RiverLibinputResultV1.name, inferInstance⟩,
+    ⟨WlOutput.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverLibinputAccelConfigV1 : ResolvedInterface RiverLibinputAccelConfigV1.name where
+  referencedInterfaces := #[
+    ⟨RiverLibinputAccelConfigV1.name, inferInstance⟩,
+    ⟨RiverLibinputResultV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverLibinputResultV1 : ResolvedInterface RiverLibinputResultV1.name where
+  referencedInterfaces := #[
+    ⟨RiverLibinputResultV1.name, inferInstance⟩,
+  ]
+
+
+end Wayland.Protocols
\ No newline at end of file