mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
62 lines
1.9 KiB
Tcl
62 lines
1.9 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
|
|
PortGroup cmake 1.1
|
|
PortGroup github 1.0
|
|
PortGroup legacysupport 1.1
|
|
|
|
# MAP_ANONYMOUS
|
|
legacysupport.newest_darwin_requires_legacy 14
|
|
|
|
github.setup Boolector boolector 3.2.4
|
|
revision 0
|
|
checksums rmd160 54ab027f50bf0ab14213e325ca5a2528c059a0e6 \
|
|
sha256 249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf \
|
|
size 1567983
|
|
|
|
categories math science
|
|
license MIT
|
|
maintainers nomaintainer
|
|
|
|
description an SMT solver for the theory of bit-vectors
|
|
|
|
long_description \
|
|
Boolector is {*}${description} and the \
|
|
extensional theory of arrays over bit-vectors. It won first places in the \
|
|
prestigious bit-vector and bit-vector with arrays tracks in the SMT \
|
|
competition 2008. In the latest SMT competition, it won the second place \
|
|
in the bit-vector division and again the first place in the division of \
|
|
bit-vectors and arrays.
|
|
|
|
github.tarball_from archive
|
|
|
|
# To run tests, but configure fails without it.
|
|
depends_build-append \
|
|
port:gtest
|
|
|
|
# Static library.
|
|
depends_build-append \
|
|
port:picosat
|
|
|
|
depends_lib-append port:btor2tools \
|
|
port:gmp
|
|
|
|
patchfiles DYLD_LIBRARY_PATH.patch
|
|
|
|
compiler.c_standard 1999
|
|
compiler.cxx_standard 2011
|
|
|
|
configure.args -DBUILD_SHARED_LIBS=ON \
|
|
-DUSE_GMP=ON \
|
|
-DONLY_PICOSAT=ON \
|
|
-DPYTHON=OFF
|
|
|
|
test.run yes
|
|
|
|
post-destroot {
|
|
set docdir ${prefix}/share/doc/${name}
|
|
xinstall -d ${destroot}${docdir}
|
|
xinstall -m 0644 -W ${worksrcpath} AUTHORS COPYING NEWS README.md \
|
|
${destroot}${docdir}
|
|
}
|