casa-mp-base

# -*- 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+)+)