From fac9d36e5ddbfa7aaa7cc86344e53d716ae98c60 Mon Sep 17 00:00:00 2001 From: Blaine Bublitz Date: Wed, 5 Jan 2022 17:10:53 -0700 Subject: [PATCH] fix: Always have a target non-Windows/non-MacOS (#17) --- 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