# -*- 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           boost 1.0
PortGroup           cmake 1.1
PortGroup           github 1.0

github.setup        potassco aspcud 1.9.6 v
categories          devel math
maintainers         nomaintainer
license             MIT
description         CUDF package dependency solver
long_description \
    Aspcud is a solver for package dependencies. A package universe and a request \
    to install, remove, or upgrade packages have to be encoded in the CUDF format. \
    Such a CUDF document can then be passed to aspcud along with an optimization \
    criteria to obtain a solution to the given package problem.

homepage            https://potassco.org/aspcud/
github.tarball_from archive

checksums           rmd160  90d661356ad39107d8f2521c030f2f85efd859e6 \
                    sha256  4dddfd4a74e4324887a1ddd7f8ff36231774fc1aa78b383256546e83acdf516c \
                    size    70041232

boost.depends_type  build

compiler.cxx_standard   2014

depends_build-append    port:re2c
depends_lib-append      port:clingo

post-destroot {
    xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name}
    xinstall -m 644 -W ${worksrcpath} CHANGES.md LICENSE.md README.md \
        ${destroot}${prefix}/share/doc/${name}
}

test.run            yes