Tweak benchmark exe enabled_if constraint.

briskml · Feb 28, 2025 · 2701ca7 · 2701ca7
1 parent e252381
commit 2701ca7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/bench/dune b/bench/dune
@@ -1,6 +1,8 @@
 (executable
   ;; core_unix constraint
-  (enabled_if (>= %{ocaml_version} 5.1))
+  (enabled_if (and
+    (>= %{ocaml_version} 5.1)
+    (<> %{os_type} "Win32")))
   (name benchmark)
   (public_name benchmark)
   (libraries core core_bench core_unix brisk-reconciler)