Skip to content

Commit b426af7

Browse files
phatedospencer
authored andcommitted
chore: Add cmake system value (#110)
1 parent 5b6c13b commit b426af7

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

dune

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -125,6 +125,7 @@
125125
binaryen
126126
-G
127127
"Unix Makefiles"
128+
"-DCMAKE_SYSTEM_NAME=Windows"
128129
; GCC 7 (shipped with esy) doesn't like _ for unused variables
129130
"-DCMAKE_CXX_FLAGS=-Wno-unused-variable -Wno-maybe-uninitialized"
130131
-DBUILD_TESTS=OFF

0 commit comments

Comments
 (0)