aboutsummaryrefslogtreecommitdiff
path: root/vcpkg/ports/robin-hood-hashing/fix-missing-stdint.patch
diff options
context:
space:
mode:
authorEthan Morgan <ethan@gweithio.com>2026-02-14 16:44:06 +0000
committerEthan Morgan <ethan@gweithio.com>2026-02-14 16:44:06 +0000
commit54409423f767d8b1cf30cb7d0efca6b4ca138823 (patch)
treed915ac7828703ce4b963efdd9728a1777ba18c1e /vcpkg/ports/robin-hood-hashing/fix-missing-stdint.patch
move to own git serverHEADmaster
Diffstat (limited to 'vcpkg/ports/robin-hood-hashing/fix-missing-stdint.patch')
-rw-r--r--vcpkg/ports/robin-hood-hashing/fix-missing-stdint.patch12
1 files changed, 12 insertions, 0 deletions
diff --git a/vcpkg/ports/robin-hood-hashing/fix-missing-stdint.patch b/vcpkg/ports/robin-hood-hashing/fix-missing-stdint.patch
new file mode 100644
index 0000000..8dc0087
--- /dev/null
+++ b/vcpkg/ports/robin-hood-hashing/fix-missing-stdint.patch
@@ -0,0 +1,12 @@
+diff --git a/src/include/robin_hood.h b/src/include/robin_hood.h
+index b4e0fbc..405e67d 100644
+--- a/src/include/robin_hood.h
++++ b/src/include/robin_hood.h
+@@ -40,6 +40,7 @@
+
+ #include <algorithm>
+ #include <cstdlib>
++#include <cstdint>
+ #include <cstring>
+ #include <functional>
+ #include <limits>