# -*- 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
# $Id$

PortSystem 1.0

name                boolector
version             1.4.1-376e6b0-110304
categories          math science
platforms           darwin
license             GPL-3
maintainers         mww openmaintainer
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