Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package coq for openSUSE:Factory checked in at 2023-11-13 22:21:57 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/coq (Old) and /work/SRC/openSUSE:Factory/.coq.new.17445 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "coq" Mon Nov 13 22:21:57 2023 rev:25 rq:1125372 version:8.18.0 Changes: -------- --- /work/SRC/openSUSE:Factory/coq/coq.changes 2023-10-31 20:25:44.806043635 +0100 +++ /work/SRC/openSUSE:Factory/.coq.new.17445/coq.changes 2023-11-13 22:25:33.233848136 +0100 @@ -1,0 +2,8 @@ +Sun Nov 12 22:52:11 UTC 2023 - Aaron Puchert <[email protected]> + +- Revert last change: this is now set in ocaml-rpm-macros. +- Increase stack size limit in QEMU user space builds. Here ulimit + has no effect, so we add a wrapper around ocamlopt.opt to PATH + that adds "-s ..." to the qemu-<arch> command line. + +------------------------------------------------------------------- ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ coq.spec ++++++ --- /var/tmp/diff_new_pack.eGtdRN/_old 2023-11-13 22:25:33.925873615 +0100 +++ /var/tmp/diff_new_pack.eGtdRN/_new 2023-11-13 22:25:33.925873615 +0100 @@ -91,8 +91,17 @@ %setup -q -a 50 -a 51 %build -# The default stack size limit is insufficient on riscv64, so we double it. -ulimit -s 16384 +%if 0%{?qemu_user_space_build} +# The OCaml compiler sometimes needs a bit more stack than the usual limit. +# While ocaml-rpm-macros increases the limit, this doesn't affect a QEMU build. +# We add a wrapper script to PATH. This doesn't affect the processes started by +# Dune, but coqc itself uses the compiler from PATH. +mkdir bin +echo "#!/bin/bash +exec /usr/bin/qemu-%{_host_cpu} -s $((64*1024*1024)) /usr/bin/ocamlopt.opt \"\$@\"" >bin/ocamlopt.opt +chmod +x bin/ocamlopt.opt +export PATH=$PWD/bin:$PATH +%endif export CFLAGS='%{optflags}' ./configure \
