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