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