silenced warnings about unknown pragmas in eigen and gmm wrapper

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 <Eigen/Sparse>
 #include <unsupported/Eigen/IterativeSolvers>
 #pragma GCC diagnostic pop
+#pragma clang diagnostic pop

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