De-duplicate eigen.hpp

reiniscirpons · Apr 9, 2024 · 5833534 · 5833534
1 parent b1187f5
commit 5833534
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 50 deletions.
diff --git a/include/libsemigroups/detail/eigen.hpp b/include/libsemigroups/detail/eigen.hpp
@@ -1,6 +1,6 @@
 //
 // libsemigroups - C++ library for semigroups and monoids
-// Copyright (C) 2023 James D. Mitchell
+// Copyright (C) 2024 James D. Mitchell
 //
 // This program is free software: you can redistribute it and/or modify
 // it under the terms of the GNU General Public License as published by
@@ -33,6 +33,7 @@
 #pragma GCC diagnostic ignored "-Winline"
 #define _SILENCE_ALL_CXX17_DEPRECATION_WARNINGS
 #include <Eigen/Core>
+#include <Eigen/QR>
 #include <unsupported/Eigen/MatrixFunctions>
 #undef _SILENCE_ALL_CXX17_DEPRECATION_WARNINGS
 #pragma GCC diagnostic pop

diff --git a/include/libsemigroups/eigen.hpp b/include/libsemigroups/eigen.hpp
diff --git a/src/obvinf.cpp b/src/obvinf.cpp
@@ -29,18 +29,13 @@
 #include <utility>    // for pair
 #include <vector>     // for vector
 
-// for LIBSEMIGROUPS_EIGEN_ENABLED
-#include "libsemigroups/config.hpp"
-
 #include "libsemigroups/cong.hpp"       // for ToWord
 #include "libsemigroups/constants.hpp"  // for UNDEFINED
 #include "libsemigroups/debug.hpp"      // for LIBSEMIGROUPS_ASSERT
 #include "libsemigroups/todd-coxeter.hpp"
 #include "libsemigroups/words.hpp"  // for ToWord
 
-#ifdef LIBSEMIGROUPS_EIGEN_ENABLED
-#include "libsemigroups/eigen.hpp"
-#endif
+#include "libsemigroups/detail/eigen.hpp"
 
 namespace libsemigroups {
   namespace detail {