CVS commit: pkgsrc/math/lean4
"Thomas Klausner" <[email protected]>
| Newsgroups | gmane.os.netbsd.devel.pkgsrc.cvs |
|---|---|
| Message-ID | <[email protected]> |
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.
(unnamed)
(text/x-diff, 4.4 KB)
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