# -*- 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 78632 2011-05-14 22:50:58Z ryandesign@macports.org $

PortSystem          1.0

name                lparse
version             1.1.2
categories          science math
maintainers         snc openmaintainer
license             GPL
description         prepare variable-free programs for smodels
long_description    Smodels works with variable-free programs that \
                    are quite cumbersome to generate by hand. Lparse \
                    is a front-end that adds variables (and a lot of \
                    other stuff) to the accepted language and \
                    generates a variable-free simple logic program \
                    that can be given to smodels. Lparse also \
                    implements several other semantics (classical \
                    negation, partial stable models) by translating \
                    them into normal logic programs.
homepage            http://www.tcs.hut.fi/Software/smodels

platforms           darwin
depends_build       port:bison

master_sites        ${homepage}/src/

checksums           sha1    c7d4bae84e37066e221f44c17b4df120f511bd14 \
                    rmd160  131f6ea6235eeb7529d2564bb9ce904e5bc2358a

# this configure argument is only used for installing
configure.pre_args  --prefix=${destroot}${prefix}/bin

build.target        lparse

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