source: trunk/dports/science/smodels/Portfile @ 76337

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

created smodels: stable model semantics for logic programs

  • Property svn:eol-style set to native
File size: 1.4 KB
Line 
1# -*- 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
2# $Id: Portfile 75461 2011-01-25 19:40:30Z snc@macports.org $
3
4PortSystem          1.0
5
6name                smodels
7version             2.34
8categories          science math
9maintainers         snc openmaintainer
10license             GPL
11description         stable model semantics for logic programs
12long_description    An implementation of the stable model semantics \
13                    for logic programs. Smodels can be used either \
14                    as a C++-library that can be called from user \
15                    programs or as a stand-alone program together \
16                    with a suitable front-end. The main front-end \
17                    is lparse.
18homepage            http://www.tcs.hut.fi/Software/smodels
19
20platforms           darwin
21
22master_sites        ${homepage}/src/
23
24checksums           sha1    cf3dd5a517afabaa858ccd63ff3e8b38e322f5eb \
25                    rmd160  032b9063635a1025dbe3528a7a803a7f2ccef9e0
26
27configure.optflags  -O3
28patch {
29    reinplace s|/usr/bin|/opt/local/bin|g ${worksrcpath}/Makefile
30    reinplace s|/usr/local/lib|/opt/local/lib|g ${worksrcpath}/Makefile
31    reinplace "s|-O3 -Wall -W|${configure.cxxflags}|g" ${worksrcpath}/Makefile
32}
33
34use_configure       no
35
36notes "lparse is recommended for piping to smodels: `lparse | smodels`"
Note: See TracBrowser for help on using the repository browser.