CVS commit: pkgsrc/math/lean4

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Sat Jul 25 11:24:52 UTC 2026

Modified Files:
        pkgsrc/math/lean4: distinfo
        pkgsrc/math/lean4/patches: patch-src_include_lean_lean.h
            patch-stage0_src_include_lean_lean.h

Log Message:
lean4: another patch filed upstream


To generate a diff of this commit:
cvs rdiff -u -r1.3 -r1.4 pkgsrc/math/lean4/distinfo
cvs rdiff -u -r1.1 -r1.2 \
    pkgsrc/math/lean4/patches/patch-src_include_lean_lean.h \
    pkgsrc/math/lean4/patches/patch-stage0_src_include_lean_lean.h

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/math/lean4/distinfo
diff -u pkgsrc/math/lean4/distinfo:1.3 pkgsrc/math/lean4/distinfo:1.4
--- pkgsrc/math/lean4/distinfo:1.3      Sat Jul 25 09:40:53 2026
+++ pkgsrc/math/lean4/distinfo  Sat Jul 25 11:24:52 2026
@@ -1,13 +1,13 @@
-$NetBSD: distinfo,v 1.3 2026/07/25 09:40:53 wiz Exp $
+$NetBSD: distinfo,v 1.4 2026/07/25 11:24:52 wiz Exp $
 
 BLAKE2s (lean4-4.32.1.tar.gz) = 9d98b0fcb0d958bdbbe110d108c6138c5e6f9c3e335dd16095761a13eb2da43e
 SHA512 (lean4-4.32.1.tar.gz) = c180c406c6d9b6c28705f93ac3fad64b1a975f76cc11ae8ba2b4447ff668e2babac2bf3dd997bae2a38b196767353b484b1674a6a21a145e9a37dc3879d3029f
 Size (lean4-4.32.1.tar.gz) = 75094335 bytes
 SHA1 (patch-src_CMakeLists.txt) = c6620d0ca4c6f5d2fccf4e8e97462661c1a9d38d
 SHA1 (patch-src_Leanc.lean) = 156025c502ceb1afc67288c107cdca99b6968cc6
-SHA1 (patch-src_include_lean_lean.h) = 8051d7be7f01bb5a48974bcf777ea5bed0240f25
+SHA1 (patch-src_include_lean_lean.h) = 017a9c5b5ac185a122a831f6fe4a64e94d9caad9
 SHA1 (patch-src_lake_Lake_Build_Common.lean) = 2fd83850d22ba26beb56b8bd26bb3473b897aee8
 SHA1 (patch-src_runtime_process.cpp) = fc4aeaf89ab47b0d0f6b086219a92fdc1badc2c4
 SHA1 (patch-stage0_src_CMakeLists.txt) = 9605c8287537786cec326e6d6f041faa4ce3f1ae
-SHA1 (patch-stage0_src_include_lean_lean.h) = 19e6c3e23705e03d6bb33e2e21330f007b64d761
+SHA1 (patch-stage0_src_include_lean_lean.h) = b138c9a082107a667ee3df0623c2ab0e6b2a546f
 SHA1 (patch-stage0_src_runtime_process.cpp) = 2f4fe1485a110d545eb10bc57cd9dc9153e395c8

Index: pkgsrc/math/lean4/patches/patch-src_include_lean_lean.h
diff -u pkgsrc/math/lean4/patches/patch-src_include_lean_lean.h:1.1 pkgsrc/math/lean4/patches/patch-src_include_lean_lean.h:1.2
--- pkgsrc/math/lean4/patches/patch-src_include_lean_lean.h:1.1 Sat Jul 25 09:40:53 2026
+++ pkgsrc/math/lean4/patches/patch-src_include_lean_lean.h     Sat Jul 25 11:24:52 2026
@@ -1,7 +1,8 @@
-$NetBSD: patch-src_include_lean_lean.h,v 1.1 2026/07/25 09:40:53 wiz Exp $
+$NetBSD: patch-src_include_lean_lean.h,v 1.2 2026/07/25 11:24:52 wiz Exp $
 
 Call compiler-provided alloca(). Fixes
 Warning: reference to the libc supplied alloca(3); this most likely will not work. Please use the compiler provided version of alloca(3), by supplying the appropriate compiler flags (e.g. 
-std=gnu99).
+https://github.com/leanprover/lean4/pull/14543
 
 --- src/include/lean/lean.h.orig       2026-07-25 09:24:11.724804692 +0000
 +++ src/include/lean/lean.h
Index: pkgsrc/math/lean4/patches/patch-stage0_src_include_lean_lean.h
diff -u pkgsrc/math/lean4/patches/patch-stage0_src_include_lean_lean.h:1.1 pkgsrc/math/lean4/patches/patch-stage0_src_include_lean_lean.h:1.2
--- pkgsrc/math/lean4/patches/patch-stage0_src_include_lean_lean.h:1.1  Sat Jul 25 09:40:53 2026
+++ pkgsrc/math/lean4/patches/patch-stage0_src_include_lean_lean.h      Sat Jul 25 11:24:52 2026
@@ -1,7 +1,8 @@
-$NetBSD: patch-stage0_src_include_lean_lean.h,v 1.1 2026/07/25 09:40:53 wiz Exp $
+$NetBSD: patch-stage0_src_include_lean_lean.h,v 1.2 2026/07/25 11:24:52 wiz Exp $
 
 Call compiler-provided alloca(). Fixes
 Warning: reference to the libc supplied alloca(3); this most likely will not work. Please use the compiler provided version of alloca(3), by supplying the appropriate compiler flags (e.g. 
-std=gnu99).
+https://github.com/leanprover/lean4/pull/14543
 
 --- stage0/src/include/lean/lean.h.orig        2026-07-22 17:50:04.000000000 +0000
 +++ stage0/src/include/lean/lean.h