From 81202c688b6f6ba43ee65c674dbd2706aa0ab92f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20Proust?= <code@bnwr.net>
Date: Wed, 15 May 2024 09:01:24 +0200
Subject: [PATCH] alt-ergo build requires native compiler

---
 packages/alt-ergo/alt-ergo.2.4.2/opam | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/packages/alt-ergo/alt-ergo.2.4.2/opam b/packages/alt-ergo/alt-ergo.2.4.2/opam
index 3fde89088e4..fd7d41fe34d 100644
--- a/packages/alt-ergo/alt-ergo.2.4.2/opam
+++ b/packages/alt-ergo/alt-ergo.2.4.2/opam
@@ -33,6 +33,9 @@ build: [
   ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
 ]
+conflicts: [
+  "ocaml-option-bytecode-only"
+]
 url {
   src: "https://github.com/OCamlPro/alt-ergo/archive/refs/tags/2.4.2.tar.gz"
   checksum: [