# -*- 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.0 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:potassco distname ${name}-${version}-source checksums rmd160 a144ff194fb5001baf22d23a0104b903eab2fcb1 \ sha256 e38c0a5c2622a7ba6f0ae0e575f11b47ff126f44d188e0b43ea2ccc676192009 depends_build-append \ port:boost \ port:re2c depends_lib port:clasp \ port:gringo patchfiles patch-libcudf-src-dependency.cpp.diff worksrcdir ${name}-${version}-source cmake.out_of_source yes configure.args-append \ -DCMAKE_BUILD_TYPE=Release livecheck.url http://sourceforge.net/projects/potassco/files/${name}/ livecheck.regex potassco/files/aspcud/(\[0-9\\.\]+)/