<pre style='margin:0'>
Herby Gillot (herbygillot) pushed a commit to branch master
in repository macports-ports.
</pre>
<p><a href="https://github.com/macports/macports-ports/commit/b3eb25e449201d7227bf07006eee9a49e1685005">https://github.com/macports/macports-ports/commit/b3eb25e449201d7227bf07006eee9a49e1685005</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 b3eb25e4492 clasp: update to 3.3.9, fix powerpc, support tests
</span>b3eb25e4492 is described below
<span style='display:block; white-space:pre;color:#808000;'>commit b3eb25e449201d7227bf07006eee9a49e1685005
</span>Author: barracuda156 <vital.had@gmail.com>
AuthorDate: Mon Aug 21 02:33:11 2023 +0800
<span style='display:block; white-space:pre;color:#404040;'> clasp: update to 3.3.9, fix powerpc, support tests
</span>---
math/clasp/Portfile | 30 ++++++++++++++++++++++++------
math/clasp/files/patch-locale.diff | 12 ++++++++++++
2 files changed, 36 insertions(+), 6 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 68bf7643c36..860ebd5f4c4 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,12 +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:#ffe0e0;'>-PortGroup github 1.0
</span> PortGroup cmake 1.1
<span style='display:block; white-space:pre;background:#e0ffe0;'>+PortGroup github 1.0
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>-github.setup potassco clasp 3.3.6 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup potassco clasp 3.3.9 v
</span> categories math
<span style='display:block; white-space:pre;background:#ffe0e0;'>-platforms darwin
</span> maintainers nomaintainer
license MIT
description A conflict-driven nogood learning answer set solver
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -19,16 +18,35 @@ long_description \
</span> homepage https://potassco.org/clasp/
github.tarball_from releases
distname ${name}-${version}-source
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# clingo installs its own clasp.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+conflicts clingo
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> worksrcdir ${name}-${version}
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums rmd160 3d108b81c27090d28e4899dc0abd8560352fb72b \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- sha256 1e35e0a7dc4aa8473f97477e6bec4193658b43f355fbf3bee35dd06b99bcc9f2 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- size 837702
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums rmd160 bd1095e99c68f89e4a9bf2bc0785b446e1cea265 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ sha256 4b27a7d5145f389d9b6c0f28b8745cdaa6028474132503ceebcd81b8cd63c629 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ size 937044
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# https://github.com/potassco/libpotassco/commit/69b677f026c53d5a0a794db17691a1eb8bce8c6b
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+patchfiles patch-locale.diff
</span>
compiler.cxx_standard 2011
<span style='display:block; white-space:pre;background:#e0ffe0;'>+# https://github.com/potassco/clasp/issues/95
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if {[string match *gcc* ${configure.compiler}] && (${configure.build_arch} in [list i386 ppc])} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ configure.ldflags-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ -latomic
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> post-destroot {
xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name}
xinstall -m 644 -W ${worksrcpath} CHANGES LICENSE README.md \
${destroot}${prefix}/share/doc/${name}
}
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+variant tests description "Enable testing" {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ configure.args-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ -DCLASP_BUILD_TESTS=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ test.run yes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/clasp/files/patch-locale.diff b/math/clasp/files/patch-locale.diff
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..624dd0bbccd
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/clasp/files/patch-locale.diff
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,12 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+--- libpotassco/src/string_convert.cpp 2022-05-04 16:30:08.000000000 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++++ libpotassco/src/string_convert.cpp 2022-05-31 15:01:57.000000000 +0800
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+@@ -25,6 +25,9 @@
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #include <cerrno>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #include <cstdio>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #include <algorithm>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#if defined(__APPLE__) && defined(__POWERPC__)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#include <xlocale.h>
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>++#endif
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #if defined(_MSC_VER)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #pragma warning (disable : 4996)
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ #define strtod_l _strtod_l
</span></pre><pre style='margin:0'>
</pre>