diff --git a/dune b/dune index 6dd03d6..d8c1aa4 100644 --- a/dune +++ b/dune @@ -42,7 +42,7 @@ -G "Unix Makefiles" ; GCC 7 (shipped with esy) doesn't like _ for unused variables - "-DCMAKE_CXX_FLAGS=-Wno-unused-variable -Wno-maybe-uninitialized -Wno-deprecated-declarations -Wno-restrict" + "-DCMAKE_CXX_FLAGS=-Wno-unused-variable -Wno-maybe-uninitialized -Wno-deprecated-declarations -Wno-restrict -Wno-error=array-bounds" -DBUILD_TESTS=OFF -DBUILD_TOOLS=OFF -DBUILD_SHARED_LIBS=OFF @@ -77,7 +77,7 @@ -DCMAKE_CXX_COMPILER=x86_64-w64-mingw32-g++ "-DCMAKE_SYSTEM_NAME=Windows" ; GCC 7 (shipped with esy) doesn't like _ for unused variables - "-DCMAKE_CXX_FLAGS=-Wno-unused-variable -Wno-maybe-uninitialized -Wno-deprecated-declarations -Wno-restrict" + "-DCMAKE_CXX_FLAGS=-Wno-unused-variable -Wno-maybe-uninitialized -Wno-deprecated-declarations -Wno-restrict -Wno-error=array-bounds" -DBUILD_TESTS=OFF -DBUILD_TOOLS=OFF -DBUILD_SHARED_LIBS=OFF