# $Id: Portfile 118635 2014-04-06 11:56:49Z mww@macports.org $

PortSystem 1.0

name                clasp
version             3.0.3
categories          math
platforms           darwin
maintainers         mww openmaintainer
license             GPL-2
description         A conflict-driven nogood learning answer set solver
long_description \
    clasp is an answer set solver for (extended) normal logic programs. \
    It combines the high-level modeling capacities of answer set programming \
    with state-of-the-art techniques from the area of Boolean constraint solving. \
    The primary clasp algorithm relies on conflict-driven nogood learning, \
    a technique that proved very successful for satisfiability checking (SAT).

homepage            http://www.cs.uni-potsdam.de/clasp/
master_sites        sourceforge:potassco

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

checksums           rmd160  0d4d65b53a6947ebebb97c309017e6eac386f119 \
                    sha256  f0c5f75ca4d9552a37c64f410d70e7395891c55c5f1e9d7bcaaf92f05127fc98

worksrcdir          ${name}-${version}

configure.cmd       ./configure.sh

build.dir           ${worksrcpath}/build/release/
build.target

destroot.dir        ${build.dir}
destroot.destdir    INSTALL_DIR=${destroot}${prefix}/bin

post-destroot {
    xinstall -d -m 0755 ${destroot}${prefix}/share/doc/${name}
    xinstall -m 644 -W ${worksrcpath} CHANGES README COPYING \
        ${destroot}${prefix}/share/doc/${name}
}

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

