<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/aae0b1a2d85b9eea6b3c6f54895ac425b7f53920">https://github.com/macports/macports-ports/commit/aae0b1a2d85b9eea6b3c6f54895ac425b7f53920</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit aae0b1a2d85b9eea6b3c6f54895ac425b7f53920
</span>Author: barracuda156 <vital.had@gmail.com>
AuthorDate: Wed Apr 17 23:49:20 2024 +0800

<span style='display:block; white-space:pre;color:#404040;'>    vampire: update to 2024-04-12
</span>---
 math/vampire/Portfile | 31 +++++++++++++++++++++++--------
 1 file changed, 23 insertions(+), 8 deletions(-)

<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 fbb8409f1ad..10de1813a82 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;'>@@ -7,18 +7,17 @@ PortGroup           cmake 1.1
</span> # Until a new release is published under the 3-clause BSD license, we have to
 # track the development branch; as of this writing, the last stable
 # release (4.5.1) was made under the previous, restricted-use license.
<span style='display:block; white-space:pre;background:#ffe0e0;'>-name                vampire
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup        vprover vampire 1f1a9d99e4f6ca018dc3e9af05c49fb1d337a9bd
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             2021-08-04
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        vprover vampire c7564c1d65020771079f29787ca2d5d7743f5d6a
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             2024-04-12
</span> categories          math science
 platforms           darwin freebsd
 maintainers         {landonf @landonf} openmaintainer
 description         Vampire Theorem Prover
 long_description    High performance automated theorem prover.
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  7677185d5ee171a84f52bf84e9047244d899910d \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  050eb27fb173f5e5c53b1e02aa5942002168e24e40b1964f242cee25c8a623be \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    1497942
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  8b6bbb22a6bb33a9964a4e0c33ae873334adca0f \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  3dd83968b938c38c36602a745cf6ecc36f74cfb43092e2eb03e2e73f923b80a2 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    1460062
</span> 
 # Vampire is BSD-licensed, embedded minisat is MIT-licensed
 license             BSD MIT
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -33,7 +32,14 @@ cmake.generator     Ninja
</span> compiler.cxx_standard \
                     2014
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-configure.args      -DIPO=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+configure.args-append \
</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;'>+# FIXME: https://github.com/vprover/vampire/issues/512
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if {${os.platform} eq "darwin" && ${os.major} > 10} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    configure.args-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    -DIPO=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span> 
 # Don't override vampire's default optimization flags
 configure.optflags
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -44,7 +50,11 @@ variant debug description {Enable the debug build configuration} {
</span> }
 
 variant native description {Generate code optimized for this machine's CPU. The resulting binaries may not run on other processors} {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    configure.optflags-append   -march=native
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    if {${configure.build_arch} in [list ppc ppc64]} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        configure.optflags-append   -mtune=native
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    } else {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        configure.optflags-append   -march=native
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    }
</span> }
 
 variant polly description {Perform loop and data-locality optimization using LLVM's Polly optimizer} {
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -81,3 +91,8 @@ destroot {
</span>     xinstall -d -m 755 "${destroot}${cmake.install_prefix}/bin"
     xinstall -m 755 "${cmake.build_dir}/bin/vampire" "${destroot}${cmake.install_prefix}/bin/vampire" 
 }
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+pre-test {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    # test infrastructure uses /bin/ps, which is forbidden by sandboxing
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    append portsandbox_profile " (allow process-exec (literal \"/bin/ps\") (with no-profile))"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span></pre><pre style='margin:0'>

</pre>