source: trunk/dports/science/smodels/Portfile

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

modelines

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.6 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 ryandesign@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           rmd160  032b9063635a1025dbe3528a7a803a7f2ccef9e0 \
25                    sha256  8d14fe02ad2aec636d674c5e1dd6026e8bac5787693fa16425bf6f6fe3959834
26
27configure.optflags  -O3
28if {[string match ${configurepipe} yes]} {
29    configure.cxxflags-append   -pipes
30}
31configure.cxxflags-append   -arch ${build_arch}
32patch {
33    reinplace s|/usr/bin|${prefix}/bin|g ${worksrcpath}/Makefile
34    reinplace s|/usr/local/lib|${prefix}/lib|g ${worksrcpath}/Makefile
35    reinplace "s|-O3 -Wall -W|${configure.cxxflags}|g" ${worksrcpath}/Makefile
36    reinplace s|g\+\+|${configure.cxx}|g ${worksrcpath}/Makefile
37}
38
39use_configure       no
40
41notes "lparse is recommended for piping to smodels: `lparse | smodels`"
42
43livecheck.type      regex
44livecheck.url       ${homepage}
45livecheck.regex     ${name}-(\\d+(\\.\\d+)+)
Note: See TracBrowser for help on using the repository browser.