mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
37 lines
1.3 KiB
Tcl
37 lines
1.3 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 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}"
|