mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
Mohamed Akram
d7a03ac04b
See https://github.com/macports/macports-ports/pull/26909#issuecomment-3339115770
47 lines
1.9 KiB
Tcl
47 lines
1.9 KiB
Tcl
# -*- 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
|
|
PortGroup github 1.0
|
|
PortGroup cmake 1.1
|
|
PortGroup muniversal 1.0
|
|
|
|
github.setup potassco clingcon 5.2.1 v
|
|
categories math
|
|
maintainers nomaintainer
|
|
license MIT
|
|
description Extension of clingo to handle constraints over integers
|
|
long_description Clingcon is an answer set solver for constraint logic programs, \
|
|
building upon the answer set solver clingo. It extends the high-level \
|
|
modeling language of ASP with constraint solving capacities. \
|
|
Constraints over finite domain integer variables can be used \
|
|
in logic programs. Clingcon adopts state-of-the-art techniques \
|
|
from the area of SMT, like conflict-driven learning and theory propagation. \
|
|
It uses lazy nogood and variable generation on the order encoding \
|
|
and features several preprocessing techniques.
|
|
homepage https://potassco.org/clingcon
|
|
github.tarball_from archive
|
|
checksums rmd160 32ccefbf0c30179767c399b93431c245a01f6e22 \
|
|
sha256 ff17294757f3f3f2420acd2145fe9cb039b9aaeace428f546fee3896b00ef724 \
|
|
size 1376527
|
|
|
|
depends_lib-append port:clingo
|
|
|
|
compiler.cxx_standard 2017
|
|
# Use the same blacklist as with its dependency clingo
|
|
compiler.blacklist-append \
|
|
{clang < 1200}
|
|
|
|
configure.args-append \
|
|
-DPYCLINGCON_ENABLE=OFF \
|
|
-DCLINGCON_BUILD_TESTS=ON
|
|
|
|
# ___atomic_load_8
|
|
if {${build_arch} in [list i386 ppc] && [string match *gcc* ${configure.compiler}]} {
|
|
configure.ldflags-append -latomic
|
|
}
|
|
|
|
test.run yes
|
|
test.dir ${build.dir}/bin
|
|
test.cmd ./test_clingcon
|
|
test.target
|