From 14be5c128fb9261f72aff8a087b9ca847bae0a8f Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Tue, 20 Dec 2016 22:18:23 +0100 Subject: [PATCH] silenced warnings about unknown pragmas in eigen and gmm wrapper --- src/storm/utility/eigen.h | 4 ++++ src/storm/utility/gmm.h | 1 + 2 files changed, 5 insertions(+) diff --git a/src/storm/utility/eigen.h b/src/storm/utility/eigen.h index 398bbd243..f1b4896f0 100644 --- a/src/storm/utility/eigen.h +++ b/src/storm/utility/eigen.h @@ -3,6 +3,9 @@ // Include this utility header so we can access utility function from Eigen. #include "storm/utility/constants.h" +#pragma clang diagnostic push +#pragma clang diagnostic ignored "-Wunknown-pragmas" + // Finally include the parts of Eigen we need. #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wignored-attributes" @@ -11,3 +14,4 @@ #include #include #pragma GCC diagnostic pop +#pragma clang diagnostic pop \ No newline at end of file diff --git a/src/storm/utility/gmm.h b/src/storm/utility/gmm.h index 0b0e034ce..9f047785b 100644 --- a/src/storm/utility/gmm.h +++ b/src/storm/utility/gmm.h @@ -4,6 +4,7 @@ #pragma clang diagnostic push #pragma clang diagnostic ignored "-Wunused-variable" #pragma clang diagnostic ignored "-Wunused-parameter" +#pragma clang diagnostic ignored "-Wunknown-pragmas" #pragma GCC diagnostic push