<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/68d18b88c550094e58281efd38976d9cd86b0dee">https://github.com/macports/macports-ports/commit/68d18b88c550094e58281efd38976d9cd86b0dee</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 68d18b88c550094e58281efd38976d9cd86b0dee
</span>Author: Sergey Fedorov <vital.had@gmail.com>
AuthorDate: Thu Dec 29 02:53:50 2022 +0700

<span style='display:block; white-space:pre;color:#404040;'>    clingcon: new port, extension of clingo
</span>---
 math/clingcon/Portfile | 43 +++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/clingcon/Portfile b/math/clingcon/Portfile
</span>new file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index 00000000000..04bc1f46153
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>--- /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/clingcon/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -0,0 +1,43 @@
</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;'>+PortGroup           muniversal 1.0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.setup        potassco clingcon 5.2.0 v
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+categories          math
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+maintainers         {@barracuda156 gmail.com:vital.had} openmaintainer
</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    Clingcon is an answer set solver for constraint logic programs, \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    building upon the answer set solver clingo. It extends the high-level \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    modeling language of ASP with constraint solving capacities. \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    Constraints over finite domain integer variables can be used \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    in logic programs. Clingcon adopts state-of-the-art techniques \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    from the area of SMT, like conflict-driven learning and theory propagation. \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    It uses lazy nogood and variable generation on the order encoding \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    and features several preprocessing techniques.
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage            https://potassco.org/clingcon
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from archive
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  2d10c0889c4cd987622119cfafdba4b282f83322 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  4b568475066e34be34110f481f7028b466c2b008e9ba41686e24ecbb468a40f2 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    333420
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+depends_lib-append  port:clingo
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+compiler.cxx_standard 2017
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+configure.args-append \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    -DPYCLINGCON_ENABLE=OFF \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    -DCLINGCON_BUILD_TESTS=ON
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+# ___atomic_load_8
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+if {${build_arch} in [list i386 ppc] && [string match *gcc* ${configure.compiler}]} {
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+    configure.ldflags-append -latomic
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.run            yes
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.dir            ${build.dir}/bin
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.cmd            ./test_clingcon
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+test.target
</span></pre><pre style='margin:0'>

</pre>