From 83525d000de4964541b5aaff4521a27f697b9434 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Wed, 18 Jun 2025 17:51:55 +0200
Subject: [PATCH] rocq: mark broken on 32-bit.

---
 srcpkgs/rocq/template | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/srcpkgs/rocq/template b/srcpkgs/rocq/template
index 4f59321a5ba..93406022909 100644
--- a/srcpkgs/rocq/template
+++ b/srcpkgs/rocq/template
@@ -16,6 +16,10 @@ nocross=yes
 make_check=ci-skip  # takes long and has some faults
 replaces="coq>=0"
 
+if [ "$XBPS_WORDSIZE" = 32 ]; then
+	broken="Not enough heap memory to reserve minor heaps"
+fi
+
 do_patch() {
 	if ! command -v ocamlc.opt >/dev/null; then
 		# see coq/coq#18609