# -*- 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                lparse
version             1.1.2
categories          science math
maintainers         {snc @nerdling} 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

patchfiles          fix-bison-version-detection.patch \
                    respect-flags.patch \
                    fix-recursive-make.patch \
                    avoid-namespace-collisions.patch

# Match default value from configure.
configure.optflags  -O3

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

# Not a typo; the build system basically thinks it's using a C compiler.
configure.args     {CC="$CXX"}

# configure doesn't recognize `--disable-dependency-tracking` (#40940).
configure.universal_args-delete --disable-dependency-tracking

build.target        lparse

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