# $Id: Portfile 144137 2016-01-03 03:06:20Z khindenburg@macports.org $

PortSystem 1.0
PortGroup           cxx11 1.0

name                gringo
version             4.5.4
revision            1
categories          math devel
platforms           darwin
maintainers         mww openmaintainer
license             GPL-3
description         gringo computes an equivalent ground program
long_description \
    Gringo is a grounder that, given an input program with first-order variables, \
    computes an equivalent ground (variable-free) program. Its output can be \
    processed further with answer set solvers like clasp, cmodels, or smodels.

homepage            http://potassco.sourceforge.net/
master_sites        sourceforge:project/potassco/gringo/${version}/

distname            ${name}-${version}-source

checksums           rmd160  3a8c7615a4649958e67a93a44d8917df6b032868 \
                    sha256  81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a

depends_build       port:scons port:re2c port:bison
depends_lib         port:boost

worksrcdir          ${name}-${version}-source

use_configure       no
use_parallel_build  no

variant universal {}

patchfiles          patch-SConstruct.diff

build.cmd           ${prefix}/bin/scons
build.target        gringo clingo reify
build.args          --build-dir=release \
                    CXX="${configure.cxx} [get_canonical_archflags cxx]"

destroot {
    xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name} \
        ${destroot}${prefix}/bin
    xinstall -m 0755 -W ${worksrcpath}/build/release clingo gringo reify \
        ${destroot}${prefix}/bin
    xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING INSTALL \
        ${destroot}${prefix}/share/doc/${name}
}

livecheck.url       http://sourceforge.net/projects/potassco/files/gringo/
livecheck.regex     potassco/files/gringo/(\[0-9\\.\]+)/