casa-mp-base

# -*- 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                boolector

version             1.4.1-376e6b0-110304

categories          math science

platforms           darwin

license             GPL-3

maintainers         nomaintainer

description         Boolector is an SMT solver for the theory of bit-vectors

long_description    \

    Boolector is an SMT solver for the theory of bit-vectors 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.

​

homepage            http://fmv.jku.at/boolector/

master_sites        ${homepage}

​

checksums           rmd160  0611fdd7edf840bc0d7e37d49b2394102465c71f \

                    sha256  5987e056eba62895aba89f9e6e921ab757d219787282e0ecac7295665fafa72b

​

depends_lib         port:picosat

​

installs_libs       no

​

patchfiles          patch-configure.diff \

                    patch-btorexp.c.diff \

                    patch-btorsat.c.diff \

                    patch-makefile.in.diff

​

use_parallel_build  no

​

configure.pre_args

​

destroot {

    xinstall -d ${destroot}${prefix}/share/doc/${name}

    xinstall -m 755 -W ${worksrcpath} synthebtor deltabtor boolector \

        ${destroot}${prefix}/bin

    xinstall -m 644 ${worksrcpath}/boolector.h \

        ${destroot}${prefix}/include

    xinstall -m 644 ${worksrcpath}/libboolector.a \

        ${destroot}${prefix}/lib

    xinstall -m 644 -W ${worksrcpath} COPYING NEWS README VERSION \

        ${destroot}${prefix}/share/doc/${name}

}

​

livecheck.type      regex

livecheck.url       ${homepage}

livecheck.regex     boolector-(\[0-9\.\]+).tar.gz