From 4c31ea5ce62beb26bedb4f014156bf7277a418c0 Mon Sep 17 00:00:00 2001
From: Rodolphe Lepigre <rodolphe@bedrocksystems.com>
Date: Mon, 6 Nov 2023 09:44:01 +0100
Subject: [PATCH] Detect linux better for the perf library.

This fixes #18257 following the recommendations given in
ocaml/dune#4895. Starting with OCaml 5.2, testing "linux"
will be enough thanks to ocaml/ocaml#12405.
---
 perf/dune | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/perf/dune b/perf/dune
index 2105e9bf37ac..4fe5923874bd 100644
--- a/perf/dune
+++ b/perf/dune
@@ -4,4 +4,11 @@
  (public_name coq-core.perf)
  (wrapped false)
  (foreign_stubs (language c) (names perf))
- (enabled_if (= %{system} linux)))
+ ; Just "linux" is not enough, see https://github.com/ocaml/dune/issues/4895.
+ (enabled_if
+  (or
+   (= %{system} "linux")
+   (= %{system} "linux_eabi")
+   (= %{system} "linux_eabihf")
+   (= %{system} "linux_elf")
+   (= %{system} "elf"))))