source: trunk/dports/math/gringo/Portfile

Last change on this file was 149420, checked in by khindenburg@…, 13 months ago

gringo: remove unneeded boost depends #51647

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.8 KB
Line 
1# $Id: Portfile 149420 2016-06-19 00:44:20Z ryandesign@macports.org $
2
3PortSystem 1.0
4PortGroup           cxx11 1.0
5
6name                gringo
7version             4.5.4
8revision            2
9categories          math devel
10platforms           darwin
11maintainers         mww openmaintainer
12license             GPL-3
13description         gringo computes an equivalent ground program
14long_description \
15    Gringo is a grounder that, given an input program with first-order variables, \
16    computes an equivalent ground (variable-free) program. Its output can be \
17    processed further with answer set solvers like clasp, cmodels, or smodels.
18
19homepage            http://potassco.sourceforge.net/
20master_sites        sourceforge:project/potassco/gringo/${version}/
21
22distname            ${name}-${version}-source
23
24checksums           rmd160  3a8c7615a4649958e67a93a44d8917df6b032868 \
25                    sha256  81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a
26
27depends_build       port:scons port:re2c port:bison
28
29worksrcdir          ${name}-${version}-source
30
31use_configure       no
32use_parallel_build  no
33
34variant universal {}
35
36patchfiles          patch-SConstruct.diff
37
38build.cmd           ${prefix}/bin/scons
39build.target        gringo clingo reify
40build.args          --build-dir=release \
41                    CXX="${configure.cxx} [get_canonical_archflags cxx]"
42
43destroot {
44    xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name} \
45        ${destroot}${prefix}/bin
46    xinstall -m 0755 -W ${worksrcpath}/build/release clingo gringo reify \
47        ${destroot}${prefix}/bin
48    xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING INSTALL \
49        ${destroot}${prefix}/share/doc/${name}
50}
51
52livecheck.url       http://sourceforge.net/projects/potassco/files/gringo/
53livecheck.regex     potassco/files/gringo/(\[0-9\\.\]+)/
54
Note: See TracBrowser for help on using the repository browser.