# -*- 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.3
revision            0
checksums           rmd160  ce30cb0839963ddbd4e08fb16c1f7b1b6dae94d7 \
                    sha256  9862134d33cb3ed0aeb6be3c9b154a4d0a90fd076f46ef97cf872813109cc5d9 \
                    size    1566566

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}
}