Skip to content

Commit

Permalink
chore: Add cmake system value (#110)
Browse files Browse the repository at this point in the history
  • Loading branch information
phated authored Mar 4, 2025
1 parent 8c42bee commit 485cbe7
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions dune
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 485cbe7

Please sign in to comment.