wallenstein/void-packages
1
0
Fork 0
mirror of https://github.com/void-linux/void-packages.git synced 2025-07-31 18:02:57 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

rocq: mark broken on 32-bit.

Browse source
This commit is contained in:
Leah Neukirchen 2025-06-18 17:51:55 +02:00
parent 267b6df34a
commit 83525d000d
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
srcpkgs/rocq/template
View file

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