<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/8e4aeaa57d184e080a2b0a485e6b5e5bffab4cf7">https://github.com/macports/macports-ports/commit/8e4aeaa57d184e080a2b0a485e6b5e5bffab4cf7</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 8e4aeaa57d1 aspcud: update to 1.9.5
</span>8e4aeaa57d1 is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 8e4aeaa57d184e080a2b0a485e6b5e5bffab4cf7
</span>Author: Ryan Goulden <percontation@gmail.com>
AuthorDate: Thu Aug 12 16:44:48 2021 -0700
<span style='display:block; white-space:pre;color:#404040;'> aspcud: update to 1.9.5
</span><span style='display:block; white-space:pre;color:#404040;'>
</span><span style='display:block; white-space:pre;color:#404040;'> Uses new homepage and github
</span><span style='display:block; white-space:pre;color:#404040;'>
</span><span style='display:block; white-space:pre;color:#404040;'> Aspcud depends on the port gringo, which is now provided as part of
</span><span style='display:block; white-space:pre;color:#404040;'> a larger "clingo" project, so the gringo port has been updated by
</span><span style='display:block; white-space:pre;color:#404040;'> replacing it with a new clingo port.
</span>---
devel/aspcud/Portfile | 39 +++++++++++-----------
math/clingo/Portfile | 48 +++++++++++++++++++++++++++
math/gringo/Portfile | 58 ++++++---------------------------
math/gringo/files/patch-SConstruct.diff | 17 ----------
4 files changed, 77 insertions(+), 85 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/devel/aspcud/Portfile b/devel/aspcud/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 2ca52513104..74a52eee7c1 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/devel/aspcud/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/devel/aspcud/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,16 +1,15 @@
</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
<span style='display:block; white-space:pre;background:#ffe0e0;'>-PortSystem 1.0
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-PortGroup cmake 1.0
</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> PortGroup boost 1.0
<span style='display:block; white-space:pre;background:#ffe0e0;'>-name aspcud
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version 1.9.1
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision 3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup potassco aspcud 1.9.5 v
</span> categories devel math
platforms darwin
maintainers nomaintainer
<span style='display:block; white-space:pre;background:#ffe0e0;'>-license GPL-3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license MIT
</span> description CUDF package dependency solver
long_description \
Aspcud is a solver for package dependencies. A package universe and a request \
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -18,23 +17,23 @@ long_description \
</span> Such a CUDF document can then be passed to aspcud along with an optimization \
criteria to obtain a solution to the given package problem.
<span style='display:block; white-space:pre;background:#ffe0e0;'>-homepage http://potassco.sourceforge.net
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-master_sites sourceforge:project/potassco/aspcud/${version}/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage https://potassco.org/aspcud/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from archive
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>-distname ${name}-${version}-source
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 5989503afe812ba48af6f15e2308b0f0c78d7283 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 9cd3a9490d377163d87b16fa1a10cc7254bc2dbb9f60e846961ac8233f3835cf \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 70073941
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums rmd160 435c80ef6879b2e049caf0e1c4d5bf2d8165b4f2 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 e0e917a9a6c5ff080a411ff25d1174e0d4118bb6759c3fe976e2e3cca15e5827
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-boost.version 1.71
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+boost.version 1.76
</span> boost.depends_type build
<span style='display:block; white-space:pre;background:#ffe0e0;'>-depends_build-append \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- port:re2c
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-depends_lib port:clasp \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- port:gringo
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.cxx_standard 2014
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>-cmake.out_of_source yes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_build-append port:re2c
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib port:clingo
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.url http://sourceforge.net/projects/potassco/files/${name}/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.regex potassco/files/aspcud/(\[0-9\\.\]+)/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+post-destroot {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ xinstall -m 644 -W ${worksrcpath} CHANGES.md LICENSE.md README.md \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ${destroot}${prefix}/share/doc/${name}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/clingo/Portfile b/math/clingo/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..e1a553656a8
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/clingo/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,48 @@
</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:#e0ffe0;'>+
</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 clingo 5.5.0 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories math
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+platforms darwin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers nomaintainer
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license MIT
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+description An Answer Set Programming system to ground and solve logic programs.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+long_description \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ Clingo is part of the Potassco project for Answer Set Programming (ASP). \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ASP offers a simple and powerful modeling language to describe combinatorial \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ problems as logic programs. The clingo system then takes such a logic program \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ and computes answer sets representing solutions to the given problem.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage https://potassco.org/clingo/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from archive
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 a2e622bf54b1f0f6e13f9ac7705e97b6624e5cd4 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 c9d7004a0caec61b636ad1c1960fbf339ef8fdee9719321fc1b6b210613a8499 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 3027366
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# clingo installs its own version of clasp.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# As of now, it's just the latest release version of clasp, but I guess in theory
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# a release version of clingo might require a modified non-release clasp version?
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# A fancier setup probably isn't warranted for now because clasp has no dependents.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+conflicts clasp
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.cxx_standard 2014
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# TODO: Variants for enabling the python & lua libs.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+configure.args-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ -DCLINGO_BUILD_WITH_PYTHON=OFF \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ -DCLINGO_BUILD_WITH_LUA=OFF
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+post-destroot {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ xinstall -m 644 -W ${worksrcpath} CHANGES.md LICENSE.md README.md \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ${destroot}${prefix}/share/doc/${name}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ # Install clasp readmes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ xinstall -d -m 0755 ${destroot}${prefix}/share/doc/clasp
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ xinstall -m 644 -W ${worksrcpath}/clasp CHANGES LICENSE README.md \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ ${destroot}${prefix}/share/doc/clasp
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/gringo/Portfile b/math/gringo/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 41db348b1ee..77099694e40 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/gringo/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/gringo/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,52 +1,14 @@
</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 gringo
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version 4.5.4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision 2
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-categories math devel
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-platforms darwin
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-maintainers nomaintainer
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-license GPL-3
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-description gringo computes an equivalent ground program
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-long_description \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- Gringo is a grounder that, given an input program with first-order variables, \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- computes an equivalent ground (variable-free) program. Its output can be \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- processed further with answer set solvers like clasp, cmodels, or smodels.
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-homepage http://potassco.sourceforge.net/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-master_sites sourceforge:project/potassco/gringo/${version}/
</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 3a8c7615a4649958e67a93a44d8917df6b032868 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-depends_build port:scons port:re2c port:bison
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-worksrcdir ${name}-${version}-source
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortSystem 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup obsolete 1.0
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>-use_configure no
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-use_parallel_build no
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-variant universal {}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-patchfiles patch-SConstruct.diff
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-compiler.cxx_standard 2011
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-build.cmd ${prefix}/bin/scons
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-build.target gringo clingo reify
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-build.args --build-dir=release \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- CXX="${configure.cxx} [get_canonical_archflags cxx]"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+name gringo
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories math
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version 5.5.0
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>-destroot {
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name} \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- ${destroot}${prefix}/bin
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- xinstall -m 0755 -W ${worksrcpath}/build/release clingo gringo reify \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- ${destroot}${prefix}/bin
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING INSTALL \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- ${destroot}${prefix}/share/doc/${name}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+platforms darwin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+license MIT
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.url http://sourceforge.net/projects/potassco/files/gringo/
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-livecheck.regex potassco/files/gringo/(\[0-9\\.\]+)/
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+replaced_by clingo
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# Remove after 2022-01-01
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/gringo/files/patch-SConstruct.diff b/math/gringo/files/patch-SConstruct.diff
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 41b8cff1657..00000000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/gringo/files/patch-SConstruct.diff
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,17 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>---- SConstruct.orig 2015-10-16 08:03:33.000000000 +0200
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+++ SConstruct 2016-01-02 11:40:21.000000000 +0100
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-@@ -67,10 +67,10 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- env['CPPPATH'] = []
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- env['LIBPATH'] = []
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- env['RPATH'] = []
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--env['WITH_PYTHON'] = 'auto'
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--env['WITH_LUA'] = 'auto'
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--env['WITH_TBB'] = 'auto'
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--env['WITH_CPPUNIT'] = 'auto'
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+env['WITH_PYTHON'] = None
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+env['WITH_LUA'] = None
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+env['WITH_TBB'] = None
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-+env['WITH_CPPUNIT'] = None
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- if GetOption("build_dir") == "static":
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- env['CXXFLAGS'] = ['-std=c++11', '-O3', '-Wall']
</span></pre><pre style='margin:0'>
</pre>