| 1 | # $Id$ |
|---|
| 2 | |
|---|
| 3 | PortSystem 1.0 |
|---|
| 4 | PortGroup cmake 1.0 |
|---|
| 5 | |
|---|
| 6 | name aspcud |
|---|
| 7 | version 1.9.0 |
|---|
| 8 | categories devel math |
|---|
| 9 | platforms darwin |
|---|
| 10 | maintainers openmaintainer |
|---|
| 11 | license GPL-3 |
|---|
| 12 | description CUDF package dependency solver |
|---|
| 13 | long_description \ |
|---|
| 14 | Aspcud is a solver for package dependencies. A package universe and a request \ |
|---|
| 15 | to install, remove, or upgrade packages have to be encoded in the CUDF format. \ |
|---|
| 16 | Such a CUDF document can then be passed to aspcud along with an optimization \ |
|---|
| 17 | criteria to obtain a solution to the given package problem. |
|---|
| 18 | |
|---|
| 19 | homepage http://potassco.sourceforge.net |
|---|
| 20 | master_sites sourceforge:potassco |
|---|
| 21 | |
|---|
| 22 | distname ${name}-${version}-source |
|---|
| 23 | |
|---|
| 24 | checksums rmd160 a144ff194fb5001baf22d23a0104b903eab2fcb1 \ |
|---|
| 25 | sha256 e38c0a5c2622a7ba6f0ae0e575f11b47ff126f44d188e0b43ea2ccc676192009 |
|---|
| 26 | |
|---|
| 27 | depends_build port:boost port:re2c |
|---|
| 28 | depends_lib port:clasp port:gringo |
|---|
| 29 | |
|---|
| 30 | patchfiles patch-libcudf-src-dependency.cpp.diff |
|---|
| 31 | |
|---|
| 32 | worksrcdir ${name}-${version}-source |
|---|
| 33 | |
|---|
| 34 | configure.args -DCMAKE_BUILD_TYPE=Release ../.. |
|---|
| 35 | configure.dir ${worksrcpath}/build/release/ |
|---|
| 36 | build.dir ${configure.dir} |
|---|
| 37 | |
|---|
| 38 | livecheck.url http://sourceforge.net/projects/potassco/files/gringo/ |
|---|
| 39 | livecheck.regex potassco/files/aspcud/(\[0-9\\.\]+)/ |
|---|
