diff --git a/binaryen b/binaryen index 96f7acf..98b1ff3 160000 --- a/binaryen +++ b/binaryen @@ -1 +1 @@ -Subproject commit 96f7acf09aae1ec6e8bc573dfa8f309c4f892a40 +Subproject commit 98b1ff3f7ba752dcb0d7b435a97697108c5fe2e9 diff --git a/dune b/dune index d90311e..df11143 100644 --- a/dune +++ b/dune @@ -33,6 +33,7 @@ binaryen -G "Unix Makefiles" + -DCMAKE_CXX_FLAGS=-Wno-unused-variable -DBUILD_STATIC_LIB=ON -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=binaryen) @@ -57,6 +58,7 @@ binaryen -G "Unix Makefiles" + -DCMAKE_CXX_FLAGS=-Wno-unused-variable -DBUILD_STATIC_LIB=OFF -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=binaryen) @@ -83,6 +85,7 @@ binaryen -G "Unix Makefiles" + -DCMAKE_CXX_FLAGS=-Wno-unused-variable -DBUILD_STATIC_LIB=OFF -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=binaryen) @@ -107,6 +110,7 @@ binaryen -G "Unix Makefiles" + -DCMAKE_CXX_FLAGS=-Wno-unused-variable -DBUILD_STATIC_LIB=OFF -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX=binaryen)