CVS commit: pkgsrc/math/lean4

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

Module Name:    pkgsrc
Committed By:   wiz
Date:           Fri Jul 24 21:26:20 UTC 2026

Modified Files:
        pkgsrc/math/lean4: distinfo
        pkgsrc/math/lean4/patches: patch-src_CMakeLists.txt
            patch-src_runtime_process.cpp patch-stage0_src_CMakeLists.txt
            patch-stage0_src_runtime_process.cpp

Log Message:
lean4: add links to upstream pull request


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/lean4/distinfo
cvs rdiff -u -r1.1 -r1.2 pkgsrc/math/lean4/patches/patch-src_CMakeLists.txt \
    pkgsrc/math/lean4/patches/patch-src_runtime_process.cpp \
    pkgsrc/math/lean4/patches/patch-stage0_src_CMakeLists.txt \
    pkgsrc/math/lean4/patches/patch-stage0_src_runtime_process.cpp

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.1 pkgsrc/math/lean4/distinfo:1.2
--- pkgsrc/math/lean4/distinfo:1.1      Fri Jul 24 18:39:20 2026
+++ pkgsrc/math/lean4/distinfo  Fri Jul 24 21:26:20 2026
@@ -1,11 +1,11 @@
-$NetBSD: distinfo,v 1.1 2026/07/24 18:39:20 wiz Exp $
+$NetBSD: distinfo,v 1.2 2026/07/24 21:26:20 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) = 055656efbe3796c5948f59da8f6709ac68ba9d66
+SHA1 (patch-src_CMakeLists.txt) = c6620d0ca4c6f5d2fccf4e8e97462661c1a9d38d
 SHA1 (patch-src_Leanc.lean) = 156025c502ceb1afc67288c107cdca99b6968cc6
 SHA1 (patch-src_lake_Lake_Build_Common.lean) = 2fd83850d22ba26beb56b8bd26bb3473b897aee8
-SHA1 (patch-src_runtime_process.cpp) = 4a4723d9f69046d51ad351dff20120db0e1b40f9
-SHA1 (patch-stage0_src_CMakeLists.txt) = 5a7a307617e1ca566c0cec698c308588edd3ceda
-SHA1 (patch-stage0_src_runtime_process.cpp) = 18f705c5f58a2a60d98930a0ff59baf49b522bdd
+SHA1 (patch-src_runtime_process.cpp) = fc4aeaf89ab47b0d0f6b086219a92fdc1badc2c4
+SHA1 (patch-stage0_src_CMakeLists.txt) = 9605c8287537786cec326e6d6f041faa4ce3f1ae
+SHA1 (patch-stage0_src_runtime_process.cpp) = 2f4fe1485a110d545eb10bc57cd9dc9153e395c8

Index: pkgsrc/math/lean4/patches/patch-src_CMakeLists.txt
diff -u pkgsrc/math/lean4/patches/patch-src_CMakeLists.txt:1.1 pkgsrc/math/lean4/patches/patch-src_CMakeLists.txt:1.2
--- pkgsrc/math/lean4/patches/patch-src_CMakeLists.txt:1.1      Fri Jul 24 18:39:20 2026
+++ pkgsrc/math/lean4/patches/patch-src_CMakeLists.txt  Fri Jul 24 21:26:20 2026
@@ -1,6 +1,7 @@
-$NetBSD: patch-src_CMakeLists.txt,v 1.1 2026/07/24 18:39:20 wiz Exp $
+$NetBSD: patch-src_CMakeLists.txt,v 1.2 2026/07/24 21:26:20 wiz Exp $
 
 Treat NetBSD like Linux.
+https://github.com/leanprover/lean4/pull/14543
 
 --- src/CMakeLists.txt.orig    2026-07-22 17:50:04.000000000 +0000
 +++ src/CMakeLists.txt
Index: pkgsrc/math/lean4/patches/patch-src_runtime_process.cpp
diff -u pkgsrc/math/lean4/patches/patch-src_runtime_process.cpp:1.1 pkgsrc/math/lean4/patches/patch-src_runtime_process.cpp:1.2
--- pkgsrc/math/lean4/patches/patch-src_runtime_process.cpp:1.1 Fri Jul 24 18:39:20 2026
+++ pkgsrc/math/lean4/patches/patch-src_runtime_process.cpp     Fri Jul 24 21:26:20 2026
@@ -1,7 +1,8 @@
-$NetBSD: patch-src_runtime_process.cpp,v 1.1 2026/07/24 18:39:20 wiz Exp $
+$NetBSD: patch-src_runtime_process.cpp,v 1.2 2026/07/24 21:26:20 wiz Exp $
 
 Set proper thread id on NetBSD.
 clearenv() does not exist on NetBSD.
+https://github.com/leanprover/lean4/pull/14543
 
 --- src/runtime/process.cpp.orig       2026-07-23 16:38:08.850506865 +0000
 +++ src/runtime/process.cpp
Index: pkgsrc/math/lean4/patches/patch-stage0_src_CMakeLists.txt
diff -u pkgsrc/math/lean4/patches/patch-stage0_src_CMakeLists.txt:1.1 pkgsrc/math/lean4/patches/patch-stage0_src_CMakeLists.txt:1.2
--- pkgsrc/math/lean4/patches/patch-stage0_src_CMakeLists.txt:1.1       Fri Jul 24 18:39:20 2026
+++ pkgsrc/math/lean4/patches/patch-stage0_src_CMakeLists.txt   Fri Jul 24 21:26:20 2026
@@ -1,6 +1,7 @@
-$NetBSD: patch-stage0_src_CMakeLists.txt,v 1.1 2026/07/24 18:39:20 wiz Exp $
+$NetBSD: patch-stage0_src_CMakeLists.txt,v 1.2 2026/07/24 21:26:20 wiz Exp $
 
 Treat NetBSD like Linux.
+https://github.com/leanprover/lean4/pull/14543
 
 --- stage0/src/CMakeLists.txt.orig     2026-07-22 17:50:04.000000000 +0000
 +++ stage0/src/CMakeLists.txt
Index: pkgsrc/math/lean4/patches/patch-stage0_src_runtime_process.cpp
diff -u pkgsrc/math/lean4/patches/patch-stage0_src_runtime_process.cpp:1.1 pkgsrc/math/lean4/patches/patch-stage0_src_runtime_process.cpp:1.2
--- pkgsrc/math/lean4/patches/patch-stage0_src_runtime_process.cpp:1.1  Fri Jul 24 18:39:20 2026
+++ pkgsrc/math/lean4/patches/patch-stage0_src_runtime_process.cpp      Fri Jul 24 21:26:20 2026
@@ -1,7 +1,8 @@
-$NetBSD: patch-stage0_src_runtime_process.cpp,v 1.1 2026/07/24 18:39:20 wiz Exp $
+$NetBSD: patch-stage0_src_runtime_process.cpp,v 1.2 2026/07/24 21:26:20 wiz Exp $
 
 Set proper thread id on NetBSD.
 clearenv() does not exist on NetBSD.
+https://github.com/leanprover/lean4/pull/14543
 
 --- stage0/src/runtime/process.cpp.orig        2025-07-31 11:25:32.645020915 +0000
 +++ stage0/src/runtime/process.cpp