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/RiverXkbBindingsV1/Resolved.lean | 38 ++++++++++++++++++++++ 1 file changed, 38 insertions(+) create mode 100644 lib/Wayland/Protocols/RiverXkbBindingsV1/Resolved.lean (limited to 'lib/Wayland/Protocols/RiverXkbBindingsV1/Resolved.lean') 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 -- cgit v1.3.1