# -*- 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
# $Id: Portfile 84550 2011-09-27 21:05:11Z snc@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           rmd160  131f6ea6235eeb7529d2564bb9ce904e5bc2358a \
                    sha256  886d29723f7188296e48584a4a32b8f111414acb7ca8490af28ef6b7f1717298

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