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

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/ad6e7fe85d9a77818d24c6a76e6a02a694ad565b">https://github.com/macports/macports-ports/commit/ad6e7fe85d9a77818d24c6a76e6a02a694ad565b</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 ad6e7fe  clasp: update to 3.3.2, moved to GitHub
</span>ad6e7fe is described below

<span style='display:block; white-space:pre;color:#808000;'>commit ad6e7fe85d9a77818d24c6a76e6a02a694ad565b
</span>Author: Zero King <l2dy@macports.org>
AuthorDate: Sun Aug 20 13:20:50 2017 +0000

<span style='display:block; white-space:pre;color:#404040;'>    clasp: update to 3.3.2, moved to GitHub
</span><span style='display:block; white-space:pre;color:#404040;'>    
</span><span style='display:block; white-space:pre;color:#404040;'>    add modeline and adjust whitespace
</span>---
 math/clasp/Portfile | 36 +++++++++---------------------------
 1 file changed, 9 insertions(+), 27 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/clasp/Portfile b/math/clasp/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index f44c1b1..155efdc 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/clasp/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/clasp/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,7 +1,10 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-PortSystem 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# -*- 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
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-name                clasp
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version             3.1.4
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem          1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           github 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup           cmake 1.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        potassco clasp 3.3.2 v
</span> categories          math
 platforms           darwin
 maintainers         nomaintainer
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -13,34 +16,13 @@ long_description \
</span>     with state-of-the-art techniques from the area of Boolean constraint solving. \
     The primary clasp algorithm relies on conflict-driven nogood learning, \
     a technique that proved very successful for satisfiability checking (SAT).
<span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span> homepage            http://www.cs.uni-potsdam.de/clasp/
<span style='display:block; white-space:pre;background:#ffe0e0;'>-master_sites        sourceforge:potassco
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-distname            ${name}-${version}-source
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           rmd160  8dab1982d6acae0e225644453f71df858fb26b1c \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  f6a7d8a90c3f216f778410ea7189b74a902750477fcce1a6b8c992fb08c372fe
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-worksrcdir          ${name}-${version}
</span> 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-configure.cmd       ./configure.sh
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-build.dir           ${worksrcpath}/build/release/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-build.target
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-build.args-append   CC=${configure.cc} \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    CXX=${configure.cxx} \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    CPP=${configure.cpp}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-destroot.dir        ${build.dir}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-destroot.destdir    INSTALL_DIR=${destroot}${prefix}/bin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  d25dfd9f3a3deda28066d35203cd66d95f554469 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  c113c665f5743b7f058614142127e5526978f82965be6480eafb5ca4f61d069d
</span> 
 post-destroot {
     xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name}
<span style='display:block; white-space:pre;background:#ffe0e0;'>-    xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    xinstall -m 644 -W ${worksrcpath} CHANGES LICENSE README.md \
</span>         ${destroot}${prefix}/share/doc/${name}
 }
<span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.url       http://sourceforge.net/projects/potassco/files/clasp/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.regex     potassco/files/clasp/(\[0-9\\.\]+)/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span></pre><pre style='margin:0'>

</pre>