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

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/e65a6a898800aef0f49dd74b4c6879528ec5a80a">https://github.com/macports/macports-ports/commit/e65a6a898800aef0f49dd74b4c6879528ec5a80a</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit e65a6a898800aef0f49dd74b4c6879528ec5a80a
</span>Author: Chris Jones <jonesc@macports.org>
AuthorDate: Sat Jun 12 15:16:30 2021 +0100

<span style='display:block; white-space:pre;color:#404040;'>    cvc4: migrate to boost PG
</span>---
 math/cvc4/Portfile | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/cvc4/Portfile b/math/cvc4/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index fd1cf18b559..6f322974c91 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/cvc4/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/cvc4/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,10 +1,11 @@
</span> # -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
 
 PortSystem          1.0
<span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           boost 1.0
</span> 
 name                cvc4
 version             1.4
<span style='display:block; white-space:pre;background:#ffe0e0;'>-revision            2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+revision            3
</span> categories          math devel
 platforms           darwin
 maintainers         nomaintainer
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -18,21 +19,27 @@ long_description    CVC4 is a tool for determining the satisfiability of a first
</span>                     as a stand-alone tool or as a library. It has been designed to increase \
                     the performance and reduce the memory overhead of its predecessors.
 license             BSD
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> homepage            http://cvc4.cs.nyu.edu/
 master_sites        http://cvc4.cs.nyu.edu/builds/src/
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> checksums           rmd160 726f673afe0417bccdde9a2f038da5f642958d15 \
                     sha256 76fe4ff9eb9ad7d65589efb47d41aae95f3191bd0d0c3940698a7cb2df3f7024
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> depends_lib         port:gmp
<span style='display:block; white-space:pre;background:#ffe0e0;'>-depends_build       port:boost \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    port:doxygen \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+boost.depends_type  build
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_build       port:doxygen \
</span>                     bin:curl:curl \
                     bin:bash:bash \
                     bin:awk:gawk
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> configure.args      --enable-static --enable-shared --with-build=production \
                     --bsd --with-gmp --with-compat \
                     --disable-doxygen-pdf --enable-doxygen-dot \
                     --with-antlr-dir="${worksrcpath}/antlr-3.4" \
                     ANTLR="${worksrcpath}/antlr-3.4/bin/antlr3"
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> # --enable-language-bindings=c,java
 # --with-portfolio
 test.run            yes
</pre><pre style='margin:0'>

</pre>