Revision: 76337 http://trac.macports.org/changeset/76337 Author: snc@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@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