From 012b0208217e16df8f9f74b9730c722131a40777 Mon Sep 17 00:00:00 2001 From: Blaine Bublitz Date: Mon, 3 Mar 2025 07:52:34 -0700 Subject: [PATCH] chore: Add cmake system value --- 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