You've already forked macports-ports
mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
Jeremy Lavergne
42 lines
1.6 KiB
Tcl
42 lines
1.6 KiB
Tcl
# -*- 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
|
|
|
|
PortSystem 1.0
|
|
|
|
name smodels
|
|
version 2.34
|
|
categories science math
|
|
maintainers {snc @nerdling} 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 rmd160 032b9063635a1025dbe3528a7a803a7f2ccef9e0 \
|
|
sha256 8d14fe02ad2aec636d674c5e1dd6026e8bac5787693fa16425bf6f6fe3959834
|
|
|
|
configure.optflags -O3
|
|
configure.cxxflags-append -arch ${build_arch}
|
|
patch {
|
|
reinplace s|/usr/bin|${prefix}/bin|g ${worksrcpath}/Makefile
|
|
reinplace s|/usr/local/lib|${prefix}/lib|g ${worksrcpath}/Makefile
|
|
reinplace "s|-O3 -Wall -W|${configure.cxxflags}|g" ${worksrcpath}/Makefile
|
|
reinplace s|g\+\+|${configure.cxx}|g ${worksrcpath}/Makefile
|
|
}
|
|
|
|
use_configure no
|
|
|
|
notes "lparse is recommended for piping to smodels: `lparse | smodels`"
|
|
|
|
livecheck.type regex
|
|
livecheck.url ${homepage}
|
|
livecheck.regex ${name}-(\\d+(\\.\\d+)+)
|