# -*- coding: utf-8; mode: tcl; tab-width: 4; truncate-lines: t; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4
# $Id: Portfile 75461 2011-01-25 19:40:30Z snc@macports.org $

PortSystem          1.0

name                smodels
version             2.34
categories          science math
maintainers         snc 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           sha1    cf3dd5a517afabaa858ccd63ff3e8b38e322f5eb \
                    rmd160  032b9063635a1025dbe3528a7a803a7f2ccef9e0

configure.optflags  -O3
patch {
    reinplace s|/usr/bin|/opt/local/bin|g ${worksrcpath}/Makefile
    reinplace s|/usr/local/lib|/opt/local/lib|g ${worksrcpath}/Makefile
    reinplace "s|-O3 -Wall -W|${configure.cxxflags}|g" ${worksrcpath}/Makefile
}

use_configure       no

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