source: trunk/dports/science/lparse/Portfile @ 84550

Last change on this file since 84550 was 84550, checked in by snc@…, 8 years ago

modelines

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.5 KB
Line 
1# -*- 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
2# $Id: Portfile 84550 2011-09-27 21:05:11Z snc@macports.org $
3
4PortSystem          1.0
5
6name                lparse
7version             1.1.2
8categories          science math
9maintainers         snc openmaintainer
10license             GPL
11description         prepare variable-free programs for smodels
12long_description    Smodels works with variable-free programs that \
13                    are quite cumbersome to generate by hand. Lparse \
14                    is a front-end that adds variables (and a lot of \
15                    other stuff) to the accepted language and \
16                    generates a variable-free simple logic program \
17                    that can be given to smodels. Lparse also \
18                    implements several other semantics (classical \
19                    negation, partial stable models) by translating \
20                    them into normal logic programs.
21homepage            http://www.tcs.hut.fi/Software/smodels
22
23platforms           darwin
24depends_build       port:bison
25
26master_sites        ${homepage}/src/
27
28checksums           rmd160  131f6ea6235eeb7529d2564bb9ce904e5bc2358a \
29                    sha256  886d29723f7188296e48584a4a32b8f111414acb7ca8490af28ef6b7f1717298
30
31# this configure argument is only used for installing
32configure.pre_args  --prefix=${destroot}${prefix}/bin
33
34build.target        lparse
35
36livecheck.type      regex
37livecheck.url       ${homepage}
38livecheck.regex     ${name}-(\\d+(\\.\\d+)+)
Note: See TracBrowser for help on using the repository browser.