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

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/c55c3663ec3e751c717f9695e38086824bc15d4f">https://github.com/macports/macports-ports/commit/c55c3663ec3e751c717f9695e38086824bc15d4f</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit c55c3663ec3e751c717f9695e38086824bc15d4f
</span>Author: barracuda156 <vital.had@gmail.com>
AuthorDate: Wed Apr 17 23:50:46 2024 +0800

<span style='display:block; white-space:pre;color:#404040;'>    vampire: add z3 variant
</span>---
 math/vampire/Portfile | 8 ++++++++
 1 file changed, 8 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/vampire/Portfile b/math/vampire/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 10de1813a82..468e6da63f3 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/vampire/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/vampire/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -87,6 +87,14 @@ variant profile description {Generate instrumented code that may be used for pro
</span>     "
 }
 
<span style='display:block; white-space:pre;background:#e0ffe0;'>+variant z3 description {Use Z3} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    depends_lib-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    port:z3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    configure.args-delete \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    -DCMAKE_DISABLE_FIND_PACKAGE_Z3=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> destroot {
     xinstall -d -m 755 "${destroot}${cmake.install_prefix}/bin"
     xinstall -m 755 "${cmake.build_dir}/bin/vampire" "${destroot}${cmake.install_prefix}/bin/vampire" 
</pre><pre style='margin:0'>

</pre>