<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>