Remove stale mini_vulkan.h and use official Vulkan headers (setup the…

… same as SPIR-V).

Add script to easily update Vulkan Headers to another release branch.
Add local copy of Vulkan headers (ANSI-C interfaces only).
Refactor all vulkan runtime interfaces to match differences in headers.
Don't use a global VkCommandPool associated with the context since it doesn't have a stable API type definition.
Construct command pools on demand.

LICENSE.txt

@@ -198,7 +198,7 @@ IN THE MATERIALS.
 
 ----
 
-src/mini_vulkan.h is Copyright (c) 2014-2017 The Khronos Group Inc.
+dependencies/vulkan is Copyright (c) 2014-2017 The Khronos Group Inc.
 
 Licensed under the Apache License, Version 2.0 (the "License");
 you may not use this file except in compliance with the License.

Makefile

@@ -170,7 +170,7 @@ HEXAGON_LLVM_CONFIG_LIB=$(if $(WITH_HEXAGON), hexagon, )
 SPIRV_CXX_FLAGS=$(if $(WITH_SPIRV), -DWITH_SPIRV -isystem $(ROOT_DIR)/dependencies/spirv/include, )
 SPIRV_LLVM_CONFIG_LIB=$(if $(WITH_SPIRV), , )
 
-VULKAN_CXX_FLAGS=$(if $(WITH_VULKAN), -DWITH_VULKAN, )
+VULKAN_CXX_FLAGS=$(if $(WITH_VULKAN), -DWITH_VULKAN -isystem $(ROOT_DIR)/dependencies/vulkan/include, )
 VULKAN_LLVM_CONFIG_LIB=$(if $(WITH_VULKAN), , )
 
 WEBASSEMBLY_CXX_FLAGS=$(if $(WITH_WEBASSEMBLY), -DWITH_WEBASSEMBLY, )

dependencies/README.md

@@ -18,3 +18,19 @@ build it, and extract the necessary files. It takes a single argument, the
 name of the branch to clone.
 
 [SPIR-V]: https://www.khronos.org/registry/spir-v
+
+## Vulkan
+
+This folder contains a copy of the officially released v1.3.296 SDK headers
+for [Vulkan], obtained from the `vulkan-sdk-v1.3.296` branch
+of https://github.com/KhronosGroup/Vulkan-Headers.
+
+The directory structure within this folder matches that of the official
+version's install tree, plus the upstream `LICENSE.md` notice, minus files
+that Halide doesn't need.
+
+The `update-vulkan.sh` script will automatically acquire the upstream repo,
+build it, and extract the necessary files. It takes a single argument, the
+name of the branch to clone.
+
+[Vulkan]: https://www.vulkan.org/

dependencies/update-vulkan.sh

@@ -0,0 +1,41 @@
+#!/bin/bash
+
+set -eo pipefail
+
+cd -- "$(dirname -- "$0")" || exit 1
+
+GIT_BRANCH="$1"
+if [ -z "$GIT_BRANCH" ]; then
+  echo "error: usage: $0 <git-branch>"
+  echo "remark: the current <git-branch> is vulkan-sdk-1.3.296"
+  exit 1
+fi
+
+mkdir -p vulkan
+
+cleanup () {
+  rm -rf Vulkan-Headers
+}
+
+trap cleanup SIGINT SIGTERM EXIT
+
+git clone https://github.com/KhronosGroup/Vulkan-Headers.git --branch "$GIT_BRANCH"
+cmake -S Vulkan-Headers -B Vulkan-Headers/build -DCMAKE_BUILD_TYPE=Release "-DCMAKE_INSTALL_PREFIX=$PWD/Vulkan-Headers/_local"
+cmake --build Vulkan-Headers/build --target install
+
+# Copy license information
+cp Vulkan-Headers/LICENSE.md vulkan/
+
+# Copy headers we care about (only the ANSI-C core interfaces!)
+mkdir -p vulkan/include/vulkan
+cp Vulkan-Headers/_local/include/vulkan/*.h vulkan/include/vulkan/
+mkdir -p vulkan/include/vk_video
+cp Vulkan-Headers/_local/include/vk_video/*.h vulkan/include/vk_video/
+
+# Copy CMake config
+mkdir -p vulkan/share/
+cp -R Vulkan-Headers/_local/share/cmake vulkan/share/
+
+git add -f vulkan/
+
+echo "Updated Vulkan-Headers to branch $GIT_BRANCH!"

dependencies/vulkan/LICENSE.md

@@ -0,0 +1,18 @@
+Copyright 2015-2023 The Khronos Group Inc.
+
+Files in this repository fall under one of these licenses:
+
+- `Apache-2.0`
+- `MIT`
+
+Note: With the exception of `parse_dependency.py` the files using `MIT` license
+also fall under `Apache-2.0`. Example:
+
+```
+SPDX-License-Identifier: Apache-2.0 OR MIT
+```
+
+Full license text of these licenses is available at:
+
+  * Apache-2.0: https://opensource.org/licenses/Apache-2.0
+  * MIT: https://opensource.org/licenses/MIT