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

github.setup        potassco aspcud 1.9.5 v
categories          devel math
platforms           darwin
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  5989503afe812ba48af6f15e2308b0f0c78d7283 \
                    sha256  9cd3a9490d377163d87b16fa1a10cc7254bc2dbb9f60e846961ac8233f3835cf \
                    size    70073941

boost.version       1.76
boost.depends_type  build

compiler.cxx_standard   2014

depends_build-append    port:re2c
depends_lib             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}
}