[76337] trunk/dports/science/smodels/Portfile

snc at macports.org snc at macports.org
Sun Feb 20 02:47:52 PST 2011


Revision: 76337
          http://trac.macports.org/changeset/76337
Author:   snc at macports.org
Date:     2011-02-20 02:47:52 -0800 (Sun, 20 Feb 2011)
Log Message:
-----------
created smodels: stable model semantics for logic programs

Added Paths:
-----------
    trunk/dports/science/smodels/Portfile

Added: trunk/dports/science/smodels/Portfile
===================================================================
--- trunk/dports/science/smodels/Portfile	                        (rev 0)
+++ trunk/dports/science/smodels/Portfile	2011-02-20 10:47:52 UTC (rev 76337)
@@ -0,0 +1,36 @@
+# -*- 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 at macports.org $
+
+PortSystem          1.0
+
+name                smodels
+version             2.34
+categories          science math
+maintainers         snc openmaintainer
+license             GPL
+description         stable model semantics for logic programs
+long_description    An implementation of the stable model semantics \
+                    for logic programs. Smodels can be used either \
+                    as a C++-library that can be called from user \
+                    programs or as a stand-alone program together \
+                    with a suitable front-end. The main front-end \
+                    is lparse.
+homepage            http://www.tcs.hut.fi/Software/smodels
+
+platforms           darwin
+
+master_sites        ${homepage}/src/
+
+checksums           sha1    cf3dd5a517afabaa858ccd63ff3e8b38e322f5eb \
+                    rmd160  032b9063635a1025dbe3528a7a803a7f2ccef9e0
+
+configure.optflags  -O3
+patch {
+    reinplace s|/usr/bin|/opt/local/bin|g ${worksrcpath}/Makefile
+    reinplace s|/usr/local/lib|/opt/local/lib|g ${worksrcpath}/Makefile
+    reinplace "s|-O3 -Wall -W|${configure.cxxflags}|g" ${worksrcpath}/Makefile
+}
+
+use_configure       no
+
+notes "lparse is recommended for piping to smodels: `lparse | smodels`"


Property changes on: trunk/dports/science/smodels/Portfile
___________________________________________________________________
Added: svn:keywords:Id
   + 
Added: svn:eol-style
   + native
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macosforge.org/pipermail/macports-changes/attachments/20110220/2d171057/attachment.html>


More information about the macports-changes mailing list