move to own git serverHEADmaster

1 files changed, 12 insertions, 0 deletions

diff --git a/vcpkg/ports/arrayfire/fix-miss-header-file.patch b/vcpkg/ports/arrayfire/fix-miss-header-file.patch
new file mode 100644
index 0000000..c29c51f
--- /dev/null
+++ b/vcpkg/ports/arrayfire/fix-miss-header-file.patch
@@ -0,0 +1,12 @@
+diff --git a/src/backend/common/half.hpp b/src/backend/common/half.hpp
+index fb25d03..2f6a8a4 100644
+--- a/src/backend/common/half.hpp
++++ b/src/backend/common/half.hpp
+@@ -33,6 +33,7 @@
+ #endif
+ 
+ #include <backend.hpp>
++#include <cstdint>
+ 
+ #ifdef __CUDACC_RTC__
+ using uint16_t = unsigned short;