# -*- 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 cmake 1.0
name aspcud
version 1.9.1
revision 2
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\\.\]+)/