From 485cbe70f422ef0c9bd6c7cdfdd8fdad170d2e89 Mon Sep 17 00:00:00 2001 From: Blaine Bublitz Date: Mon, 3 Mar 2025 19:35:06 -0700 Subject: [PATCH] chore: Add cmake system value (#110) --- dune | 1 + 1 file changed, 1 insertion(+) diff --git a/dune b/dune index 35be4f0..f916576 100644 --- a/dune +++ b/dune @@ -125,6 +125,7 @@ binaryen -G "Unix Makefiles" + "-DCMAKE_SYSTEM_NAME=Windows" ; GCC 7 (shipped with esy) doesn't like _ for unused variables "-DCMAKE_CXX_FLAGS=-Wno-unused-variable -Wno-maybe-uninitialized" -DBUILD_TESTS=OFF