From cda71d67516b98f0d87187b6772b7fee7451f5e9 Mon Sep 17 00:00:00 2001 From: Blaine Bublitz Date: Wed, 10 Nov 2021 13:41:29 -0700 Subject: [PATCH] fix: Always have a target non-Windows/non-MacOS --- dune | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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