diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-07-28 14:11:55 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-28 14:11:55 -0700 |
commit | 1377cede4b223a5b6a68d7d9194b7e3346a2d51a (patch) | |
tree | face9b6f6b46f663a38115c6ca11fb7415acbd10 /cmake/deps-utils/CoCoA-patch-0.99712.patch | |
parent | 5067dee413caf5f5bda4e666d877841f936d74b0 (diff) | |
parent | e6747735d2074fc2651c5edc11fa8170fc13663e (diff) |
Merge branch 'master' into docsLinkdocsLink
Diffstat (limited to 'cmake/deps-utils/CoCoA-patch-0.99712.patch')
-rw-r--r-- | cmake/deps-utils/CoCoA-patch-0.99712.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/cmake/deps-utils/CoCoA-patch-0.99712.patch b/cmake/deps-utils/CoCoA-patch-0.99712.patch new file mode 100644 index 000000000..464d39f83 --- /dev/null +++ b/cmake/deps-utils/CoCoA-patch-0.99712.patch @@ -0,0 +1,13 @@ +diff --git a/configuration/cxx14.sh b/configuration/cxx14.sh +index cdbf338..0436983 100755 +--- a/configuration/cxx14.sh ++++ b/configuration/cxx14.sh +@@ -40,7 +40,7 @@ int main() + { + int ReturnCode = 0; // will mean c++14 compliant + std::cout << "C++ version: " << __cplusplus << std::endl; +-#if __cplusplus < 201400L ++#if __cplusplus < 201400L || __cplusplus >= 201703L + ReturnCode = 1; // NOT C++14 compilant + #endif + return ReturnCode; |