Ticket #46843: Portfile

File Portfile, 1.3 KB (added by irony42@…, 10 years ago)
Line 
1# $Id$
2
3PortSystem 1.0
4PortGroup cmake 1.0
5
6name                aspcud
7version             1.9.0
8categories          devel math
9platforms           darwin
10maintainers         openmaintainer
11license             GPL-3
12description         CUDF package dependency solver
13long_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
19homepage            http://potassco.sourceforge.net
20master_sites        sourceforge:potassco
21
22distname            ${name}-${version}-source
23
24checksums           rmd160  a144ff194fb5001baf22d23a0104b903eab2fcb1 \
25                    sha256  e38c0a5c2622a7ba6f0ae0e575f11b47ff126f44d188e0b43ea2ccc676192009
26
27depends_build       port:boost port:re2c
28depends_lib         port:clasp port:gringo
29
30patchfiles          patch-libcudf-src-dependency.cpp.diff
31
32worksrcdir          ${name}-${version}-source
33
34configure.args      -DCMAKE_BUILD_TYPE=Release ../..
35configure.dir       ${worksrcpath}/build/release/
36build.dir           ${configure.dir}
37
38livecheck.url       http://sourceforge.net/projects/potassco/files/gringo/
39livecheck.regex     potassco/files/aspcud/(\[0-9\\.\]+)/