Revision
76338
Author
snc@macports.org
Date
2011-02-20 03:05:32 -0800 (Sun, 20 Feb 2011)

Log Message

created lparse: prepares variable-free programs for smodels

Added Paths

Diff

Added: trunk/dports/science/lparse/Portfile (0 => 76338)


--- trunk/dports/science/lparse/Portfile	                        (rev 0)
+++ trunk/dports/science/lparse/Portfile	2011-02-20 11:05:32 UTC (rev 76338)
@@ -0,0 +1,38 @@
+# -*- coding: utf-8; mode: tcl; tab-width: 4; truncate-lines: t; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4
+# $Id: Portfile 75461 2011-01-25 19:40:30Z snc@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           sha1    c7d4bae84e37066e221f44c17b4df120f511bd14 \
+                    rmd160  131f6ea6235eeb7529d2564bb9ce904e5bc2358a
+
+# this configure argument is only used for installing
+configure.pre_args  --prefix=${destroot}${prefix}/bin
+
+build.target        lparse
+
+livecheck.type      regex
+livecheck.url       ${homepage}
+livecheck.regex     ${name}-(\\d+(\\.\\d+)+)
Property changes on: trunk/dports/science/lparse/Portfile
___________________________________________________________________

Added: svn:keywords:Id

Added: svn:eol-style