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

PortSystem 1.0
PortGroup cmake 1.0

name                aspcud
version             1.9.1
categories          devel math
platforms           darwin
maintainers         nomaintainer
license             GPL-3
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            http://potassco.sourceforge.net
master_sites        sourceforge:project/potassco/aspcud/${version}/

distname            ${name}-${version}-source

checksums           rmd160  435c80ef6879b2e049caf0e1c4d5bf2d8165b4f2 \
                    sha256  e0e917a9a6c5ff080a411ff25d1174e0d4118bb6759c3fe976e2e3cca15e5827

depends_build-append \
                    port:boost \
                    port:re2c
depends_lib         port:clasp \
                    port:gringo

cmake.out_of_source yes

livecheck.url       http://sourceforge.net/projects/potassco/files/${name}/
livecheck.regex     potassco/files/aspcud/(\[0-9\\.\]+)/