Skip to content

Commit

Permalink
chore: Add cmake system value
Browse files Browse the repository at this point in the history
  • Loading branch information
phated authored Mar 3, 2025
1 parent f1f57b5 commit 8d3e17d
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 8d3e17d

Please sign in to comment.