fix build on linux

1 files changed, 38 insertions, 0 deletions

diff --git a/lib/Wayland/Protocols/RiverLayerShellV1/Resolved.lean b/lib/Wayland/Protocols/RiverLayerShellV1/Resolved.lean
new file mode 100644
index 0000000..060dc6f
--- /dev/null
+++ b/lib/Wayland/Protocols/RiverLayerShellV1/Resolved.lean
@@ -0,0 +1,38 @@
+import Wayland.Display
+import Wayland.Protocols.RiverLayerShellV1.Interface
+import Wayland.Protocols.RiverWindowManagementV1.Interface
+import Wayland.Protocols.Wayland.Interface
+
+namespace Wayland.Protocols
+
+instance instResolvedInterfaceRiverLayerShellV1 : ResolvedInterface RiverLayerShellV1.name where
+  referencedInterfaces := #[
+    ⟨RiverLayerShellOutputV1.name, inferInstance⟩,
+    ⟨RiverLayerShellSeatV1.name, inferInstance⟩,
+    ⟨RiverLayerShellV1.name, inferInstance⟩,
+    ⟨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 instResolvedInterfaceRiverLayerShellOutputV1 : ResolvedInterface RiverLayerShellOutputV1.name where
+  referencedInterfaces := #[
+    ⟨RiverLayerShellOutputV1.name, inferInstance⟩,
+  ]
+
+instance instResolvedInterfaceRiverLayerShellSeatV1 : ResolvedInterface RiverLayerShellSeatV1.name where
+  referencedInterfaces := #[
+    ⟨RiverLayerShellSeatV1.name, inferInstance⟩,
+  ]
+
+
+end Wayland.Protocols
\ No newline at end of file