diff options
Diffstat (limited to '001-gcc-13-1.patch')
-rw-r--r-- | 001-gcc-13-1.patch | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/001-gcc-13-1.patch b/001-gcc-13-1.patch new file mode 100644 index 000000000000..1f6a41dbb5c0 --- /dev/null +++ b/001-gcc-13-1.patch @@ -0,0 +1,27 @@ +diff --git a/include/fastdds/rtps/transport/TransportDescriptorInterface.h b/include/fastdds/rtps/transport/TransportDescriptorInterface.h +index 149707736..30184d71a 100644 +--- a/include/fastdds/rtps/transport/TransportDescriptorInterface.h ++++ b/include/fastdds/rtps/transport/TransportDescriptorInterface.h +@@ -17,7 +17,7 @@ + + #include <fastrtps/fastrtps_dll.h> + +-#ifdef _WIN32 ++#if defined(_WIN32) || ((__GNUC__ >= 13) && (__GNUC_MINOR__ >= 1)) + #include <cstdint> + #endif // ifdef _WIN32 + #include <vector> +diff --git a/include/fastrtps/types/TypeNamesGenerator.h b/include/fastrtps/types/TypeNamesGenerator.h +index a8f45e013..152933316 100644 +--- a/include/fastrtps/types/TypeNamesGenerator.h ++++ b/include/fastrtps/types/TypeNamesGenerator.h +@@ -3,6 +3,9 @@ + + #include <fastrtps/fastrtps_dll.h> + ++#if defined(_WIN32) || ((__GNUC__ >= 13) && (__GNUC_MINOR__ >= 1)) ++#include <cstdint> ++#endif // ifdef _WIN32 + #include <string> + #include <vector> + |