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-10-31 20:25:29
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/coq (Old)
and /work/SRC/openSUSE:Factory/.coq.new.17445 (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "coq"
Tue Oct 31 20:25:29 2023 rev:24 rq:1121332 version:8.18.0
Changes:
--------
--- /work/SRC/openSUSE:Factory/coq/coq.changes 2023-09-20 13:26:44.797394139
+0200
+++ /work/SRC/openSUSE:Factory/.coq.new.17445/coq.changes 2023-10-31
20:25:44.806043635 +0100
@@ -1,0 +2,5 @@
+Mon Oct 30 22:26:00 UTC 2023 - Aaron Puchert <aaronpuch...@alice-dsl.net>
+
+- Increase stack size limit to fix build on riscv64.
+
+-------------------------------------------------------------------
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ coq.spec ++++++
--- /var/tmp/diff_new_pack.fKgYGb/_old 2023-10-31 20:25:45.530070229 +0100
+++ /var/tmp/diff_new_pack.fKgYGb/_new 2023-10-31 20:25:45.530070229 +0100
@@ -91,6 +91,9 @@
%setup -q -a 50 -a 51
%build
+# The default stack size limit is insufficient on riscv64, so we double it.
+ulimit -s 16384
+
export CFLAGS='%{optflags}'
./configure \
-prefix %{_prefix} \
