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