From c09c31be6afbd4d5cc40fbb7c0f51efb286395fd Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Thu, 21 May 2020 16:45:21 +0200 Subject: [PATCH] Enable pragmas in eigen.h only for GCC 9 --- src/storm/utility/eigen.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/storm/utility/eigen.h b/src/storm/utility/eigen.h index 507769b8c..f62ee24d4 100644 --- a/src/storm/utility/eigen.h +++ b/src/storm/utility/eigen.h @@ -8,7 +8,9 @@ #pragma clang diagnostic ignored "-Wunknown-pragmas" #elif defined(__GNUC__) #pragma GCC diagnostic push -#pragma GCC diagnostic ignored "-Wdeprecated-copy" // Should be fixed for versions after 3.3.7 +#if __GNUC__ > 8 +#pragma GCC diagnostic ignored "-Wdeprecated-copy" // Ignore warnings present for GCC 9 and later. The warnings should be fixed for Eigen versions after 3.3.7 +#endif #endif // Finally include the parts of Eigen we need.