From 6f11f6b53f11776a9591d325468fa2e4bd71a2bb Mon Sep 17 00:00:00 2001
From: John Maddock <john@johnmaddock.co.uk>
Date: Tue, 23 Jul 2013 17:40:15 +0000
Subject: [PATCH] Define BOOST_HAS_STDINT_H for PGI on Linux. Fixes #6724.

[SVN r85138]
---
 include/boost/config/compiler/pgi.hpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/include/boost/config/compiler/pgi.hpp b/include/boost/config/compiler/pgi.hpp
index 84de184f..d50cbef8 100644
--- a/include/boost/config/compiler/pgi.hpp
+++ b/include/boost/config/compiler/pgi.hpp
@@ -41,6 +41,9 @@
 #define BOOST_HAS_THREADS
 #define BOOST_HAS_NRVO
 #define BOOST_HAS_LONG_LONG
+#if defined(linux) || defined(__linux) || defined(__linux__)
+#  define BOOST_HAS_STDINT_H
+#endif
 
 // options --enable-test wants undefined
 #undef BOOST_NO_STDC_NAMESPACE