<pre style='margin:0'>
Ken (kencu) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/cfe134fcf90b8b0676457065cbeda6427ebef7fc">https://github.com/macports/macports-ports/commit/cfe134fcf90b8b0676457065cbeda6427ebef7fc</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'>     new cfe134fcf90 lean: fix build on older systems
</span>cfe134fcf90 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit cfe134fcf90b8b0676457065cbeda6427ebef7fc
</span>Author: Ken Cunningham <kencu@macports.org>
AuthorDate: Tue Aug 17 11:52:57 2021 -0700

<span style='display:block; white-space:pre;color:#404040;'>    lean: fix build on older systems
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    older systems use olde MACH names
</span>---
 math/lean/Portfile                                      |  3 +++
 .../patch-lean-util-memory-older-MACH-defines.diff      | 17 +++++++++++++++++
 2 files changed, 20 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/lean/Portfile b/math/lean/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index cb0f413bb9d..34c0f897266 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/lean/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -25,6 +25,9 @@ checksums           rmd160  6b1b8a1134c40ab772e8a3795ae0b29e13a24a22 \
</span>                     sha256  50c49a426024fa35ee2547f7e82803deecb81fbdc187734da9b0fb56ff54e99f \
                     size    1873303
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+# use older MACH defines on systems before 10.8
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+patchfiles          patch-lean-util-memory-older-MACH-defines.diff
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> cmake.build_type    Release
 cmake.generator     Ninja
 
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/lean/files/patch-lean-util-memory-older-MACH-defines.diff b/math/lean/files/patch-lean-util-memory-older-MACH-defines.diff
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..8a6c771268c
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/lean/files/patch-lean-util-memory-older-MACH-defines.diff
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,17 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- util/memory.cpp.orig   2021-08-17 11:14:21.000000000 -0700
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ util/memory.cpp        2021-08-17 11:15:10.000000000 -0700
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -71,6 +71,14 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #if defined(__APPLE__)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #include <mach/mach.h>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#if MAC_OS_X_VERSION_MAX_ALLOWED < 1080
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#  define MACH_TASK_BASIC_INFO_COUNT TASK_BASIC_INFO_COUNT
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#  define mach_task_basic_info_data_t task_basic_info_data_t
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#  define MACH_TASK_BASIC_INFO TASK_BASIC_INFO
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#  define mach_task_basic_info task_basic_info
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ namespace lean {
</span></pre><pre style='margin:0'>

</pre>