source: trunk/dports/science/sbsat/Portfile

Last change on this file was 131104, checked in by larryv@…, 3 years ago

sbsat: Fall back to Python 2.7 instead of 2.5 (#46406)

I'm not sure the +jeremy variant actually works properly (python27 does
not install a python executable), but that's not the drum I'm beating
right now.

  • 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 131104 2015-01-06 05:59:58Z ryandesign@macports.org $
3
4PortSystem          1.0
5
6name                sbsat
7version             2.7b
8revision            3
9categories          science math
10maintainers         snc
11license             Permissive
12description         A state-based Satisfiability solver.
13long_description    SBSAT is a software package used primarily for solving \
14                    instances of a generalization of the well-known \
15                    Satisability problem.
16
17homepage            http://www.cs.uc.edu/~weaversa/SBSAT.html
18platforms           freebsd darwin
19
20master_sites        http://www.cs.uc.edu/~weaversa/SBSAT_files/
21checksums           rmd160 0ef8e2ee04d54b71fe837407ba3f771cca381636 \
22                    sha256  deeddec6495a8065c28f4bf29823d5e8b702688e61e777cc281cead3881b1f52
23
24variant jeremy description {Enable Jeremy's modifications} {
25    depends_run     path:bin/python:python27
26
27    patchfiles      patch-src-generator-Makefile.am.diff \
28                    patch-src-generator-gentest.cc.diff \
29                    patch-configure.ac.diff
30    post-patch {
31        file copy ${filespath}/slider3_base.py ${worksrcpath}/src/generator/
32        reinplace s|@@PREFIX@@|${prefix}/bin| ${worksrcpath}/src/generator/gentest.cc
33    }
34
35    use_autoreconf      yes
36}
37
38configure.args      --enable-optimization
39
40test.run            yes
41test.target         check
42
43livecheck.type      regex
44livecheck.url       ${homepage}
45livecheck.regex     "${name}-(\\d+\\.\\d+(b)?(\\.\\d+)?)${extract.suffix}"
Note: See TracBrowser for help on using the repository browser.