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

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/d7c7b902972845364fccea48dbced54d42600826">https://github.com/macports/macports-ports/commit/d7c7b902972845364fccea48dbced54d42600826</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit d7c7b902972845364fccea48dbced54d42600826
</span>Author: Landon Fuller <landonf@macports.org>
AuthorDate: Thu May 27 16:43:21 2021 -0600

<span style='display:block; white-space:pre;color:#404040;'>    z3: build and install qprofdiff
</span>---
 math/z3/Portfile                      |  7 +++++++
 math/z3/files/build-z3-qprofdiff.diff | 11 +++++++++++
 2 files changed, 18 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/z3/Portfile b/math/z3/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 3fd2f1828aa..4a65b63d3f5 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/z3/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/z3/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -24,6 +24,11 @@ if {${subport} eq "${name}-fstar"} {
</span>     checksums           rmd160  28de36660ddbd100d861ff2336f70f3e79014ff9 \
                         sha256  12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 \
                         size    4731869
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # For qprofdiff; drop when z3 version is next bumped
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    if {${subport} eq "${name}"} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        revision 1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    }
</span> }
 
 platforms           darwin freebsd
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -57,6 +62,8 @@ if {${subport} eq ${name} || ${subport} eq "${name}-fstar"} {
</span>     depends_build-append    port:python27 \
                             port:bash
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+    patchfiles-append       build-z3-qprofdiff.diff
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span>     compiler.fallback       macports-clang-11
 
     compiler.cxx_standard   2011
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/z3/files/build-z3-qprofdiff.diff b/math/z3/files/build-z3-qprofdiff.diff
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..826d3648239
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/z3/files/build-z3-qprofdiff.diff
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,11 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- CMakeLists.txt 2021-05-27 16:20:04.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ CMakeLists.txt 2021-05-27 16:26:32.000000000 -0600
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -539,6 +539,8 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ include(${PROJECT_SOURCE_DIR}/cmake/z3_add_component.cmake)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ include(${PROJECT_SOURCE_DIR}/cmake/z3_append_linker_flag_list_to_target.cmake)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ add_subdirectory(src)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++add_executable(qprofdiff contrib/qprofdiff/main.cpp)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++install(TARGETS qprofdiff RUNTIME DESTINATION "${CMAKE_INSTALL_BINDIR}")
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ 
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ################################################################################
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Create `Z3Config.cmake` and related files for the build tree so clients can
</span></pre><pre style='margin:0'>

</pre>