From 80317994ba8a8b7f72c0bf0d824e4ade59a4b6c8 Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Thu, 9 Apr 2026 23:07:23 +0200 Subject: fix build on linux --- .../Protocols/RiverLayerShellV1/Resolved.lean | 38 ++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 lib/Wayland/Protocols/RiverLayerShellV1/Resolved.lean (limited to 'lib/Wayland/Protocols/RiverLayerShellV1/Resolved.lean') 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 -- cgit v1.3.1