mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
43 lines
1.4 KiB
Tcl
43 lines
1.4 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 picosat
|
|
version 965
|
|
revision 0
|
|
categories math science
|
|
platforms darwin
|
|
maintainers nomaintainer
|
|
license MIT
|
|
description picosat is a SAT solver
|
|
long_description ${description}
|
|
homepage http://fmv.jku.at/picosat/
|
|
master_sites ${homepage}
|
|
|
|
checksums rmd160 cf196a11b86e028e1db8bcc7f5c3493c16f85978 \
|
|
sha256 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 \
|
|
size 64386
|
|
|
|
installs_libs yes
|
|
|
|
configure.cmd ./configure.sh
|
|
configure.pre_args {}
|
|
configure.universal_args \
|
|
{}
|
|
# --shared does NOT work on macOS
|
|
configure.args --static
|
|
|
|
destroot {
|
|
xinstall -d ${destroot}${prefix}/share/doc/${name}
|
|
xinstall -m 644 ${worksrcpath}/picosat.h ${destroot}${prefix}/include
|
|
xinstall -m 644 ${worksrcpath}/libpicosat.a ${destroot}${prefix}/lib
|
|
xinstall -m 755 -W ${worksrcpath} picosat picomcs picomus picogcnf \
|
|
${destroot}${prefix}/bin
|
|
xinstall -m 644 -W ${worksrcpath} LICENSE NEWS README VERSION \
|
|
${destroot}${prefix}/share/doc/${name}
|
|
}
|
|
|
|
livecheck.type regex
|
|
livecheck.url ${homepage}
|
|
livecheck.regex picosat-(\[0-9\.\]+).tar.gz
|