# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4

PortSystem          1.0

name                smodels
version             2.34
categories          science math
maintainers         {snc @nerdling} openmaintainer
license             GPL
description         stable model semantics for logic programs
long_description    An implementation of the stable model semantics \
                    for logic programs. Smodels can be used either \
                    as a C++-library that can be called from user \
                    programs or as a stand-alone program together \
                    with a suitable front-end. The main front-end \
                    is lparse.
homepage            http://www.tcs.hut.fi/Software/smodels

platforms           darwin

master_sites        ${homepage}/src/

checksums           rmd160  032b9063635a1025dbe3528a7a803a7f2ccef9e0 \
                    sha256  8d14fe02ad2aec636d674c5e1dd6026e8bac5787693fa16425bf6f6fe3959834

configure.optflags  -O3
configure.cxxflags-append   -arch ${build_arch}
patch {
    reinplace s|/usr/bin|${prefix}/bin|g ${worksrcpath}/Makefile
    reinplace s|/usr/local/lib|${prefix}/lib|g ${worksrcpath}/Makefile
    reinplace "s|-O3 -Wall -W|${configure.cxxflags}|g" ${worksrcpath}/Makefile
    reinplace s|g\+\+|${configure.cxx}|g ${worksrcpath}/Makefile
}

use_configure       no

notes "lparse is recommended for piping to smodels: `lparse | smodels`"

livecheck.type      regex
livecheck.url       ${homepage}
livecheck.regex     ${name}-(\\d+(\\.\\d+)+)
