From 7ccc0773b198a16acd58aec5d85cc3c835314e40 Mon Sep 17 00:00:00 2001
From: Alexander Bondarenko <486682+dpwiz@users.noreply.github.com>
Date: Sat, 13 Apr 2024 13:53:48 +0300
Subject: [PATCH] Enable portability devices for MoltenVK

---
 examples/sdl-triangle/Main.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/examples/sdl-triangle/Main.hs b/examples/sdl-triangle/Main.hs
index f3a8d60fe..bd3e7a2c6 100644
--- a/examples/sdl-triangle/Main.hs
+++ b/examples/sdl-triangle/Main.hs
@@ -37,6 +37,7 @@ import           Vulkan.Core10
 import qualified Vulkan.Core10.DeviceInitialization as DI
 import           Vulkan.Extensions.VK_EXT_debug_utils
 import           Vulkan.Extensions.VK_EXT_validation_features
+import           Vulkan.Extensions.VK_KHR_portability_enumeration
 import           Vulkan.Extensions.VK_KHR_surface
 import qualified Vulkan.Extensions.VK_KHR_surface as SF
 import           Vulkan.Extensions.VK_KHR_swapchain
@@ -437,7 +438,7 @@ windowInstanceCreateInfo window = do
   let requiredLayers     = []
       optionalLayers     = ["VK_LAYER_KHRONOS_validation"]
       requiredExtensions = [EXT_DEBUG_UTILS_EXTENSION_NAME] <> windowExtensions
-      optionalExtensions = [EXT_VALIDATION_FEATURES_EXTENSION_NAME]
+      optionalExtensions = [EXT_VALIDATION_FEATURES_EXTENSION_NAME, KHR_PORTABILITY_ENUMERATION_EXTENSION_NAME]
   extensions <- partitionOptReq "extension"
                                 availableExtensionNames
                                 optionalExtensions
@@ -453,6 +454,7 @@ windowInstanceCreateInfo window = do
                                               }
           , enabledLayerNames     = V.fromList layers
           , enabledExtensionNames = V.fromList extensions
+          , flags = INSTANCE_CREATE_ENUMERATE_PORTABILITY_BIT_KHR
           }
     ::& debugUtilsMessengerCreateInfo
     :&  ValidationFeaturesEXT [VALIDATION_FEATURE_ENABLE_BEST_PRACTICES_EXT] []