mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
52 lines
2.0 KiB
Tcl
52 lines
2.0 KiB
Tcl
# -*- 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+)+)
|