# -*- 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                sbsat
version             2.7b
revision            4
dist_subdir         ${name}/${version}_1
categories          science math
maintainers         {snc @nerdling}
license             Permissive
description         A state-based Satisfiability solver.
long_description    SBSAT is a software package used primarily for solving \
                    instances of a generalization of the well-known \
                    Satisfiability problem.

homepage            http://gauss.ececs.uc.edu/franco_files/sbsat.html
platforms           freebsd darwin

master_sites        http://gauss.ececs.uc.edu/
checksums           rmd160  68196b70cb83ad361c5af9e5db17ad292a5a5f26 \
                    sha256  4190ab2b2a5890b5b8d0f56bb6bd54092e84c57e3120f7c1ff001fbcff3eb48f \
                    size    1560948

depends_build-append port:help2man

patchfiles-append   patch-peephole.diff

configure.args      --enable-optimization

test.run            yes
test.target         check

livecheck.type      regex
livecheck.url       ${homepage}
livecheck.regex     "${name}-(\\d+\\.\\d+(b)?(\\.\\d+)?)${extract.suffix}"