# -*- 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 134193 2015-03-19 23:43:13Z larryv@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 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+)+)