diff --git a/dune b/dune index fa6ec02..df1d276 100644 --- a/dune +++ b/dune @@ -69,7 +69,9 @@ (deps (source_tree binaryen)) (enabled_if - (= %{system} linux)) + (and + (<> %{system} macosx) + (<> %{system} mingw64))) (action (no-infer (progn