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

github.setup        potassco clasp 3.3.6 v
categories          math
platforms           darwin
maintainers         nomaintainer
license             MIT
description         A conflict-driven nogood learning answer set solver
long_description \
    clasp is an answer set solver for (extended) normal logic programs. \
    It combines the high-level modeling capacities of answer set programming \
    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).
homepage            https://potassco.org/clasp/
github.tarball_from releases
distname            ${name}-${version}-source
worksrcdir          ${name}-${version}

checksums           rmd160  3d108b81c27090d28e4899dc0abd8560352fb72b \
                    sha256  1e35e0a7dc4aa8473f97477e6bec4193658b43f355fbf3bee35dd06b99bcc9f2 \
                    size    837702

compiler.cxx_standard   2011

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