source: trunk/dports/math/boolector/Portfile

Last change on this file was 97969, checked in by ryandesign@…, 5 years ago

boolector: no need to create standard directories in destroot

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 1.9 KB
Line 
1# -*- 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
2# $Id: Portfile 97969 2012-09-21 04:46:11Z ryandesign@macports.org $
3
4PortSystem 1.0
5
6name                boolector
7version             1.4.1-376e6b0-110304
8categories          math science
9platforms           darwin
10license             GPL-3
11maintainers         mww openmaintainer
12description         Boolector is an SMT solver for the theory of bit-vectors
13long_description    \
14    Boolector is an SMT solver for the theory of bit-vectors and the \
15    extensional theory of arrays over bit-vectors. It won first places in the \
16    prestigious bit-vector and bit-vector with arrays tracks in the SMT \
17    competition 2008. In the latest SMT competition, it won the second place \
18    in the bit-vector division and again the first place in the division of \
19    bit-vectors and arrays.
20
21homepage            http://fmv.jku.at/boolector/
22master_sites        ${homepage}
23
24checksums           rmd160  0611fdd7edf840bc0d7e37d49b2394102465c71f \
25                    sha256  5987e056eba62895aba89f9e6e921ab757d219787282e0ecac7295665fafa72b
26
27depends_lib         port:picosat
28
29installs_libs       no
30
31patchfiles          patch-configure.diff \
32                    patch-btorexp.c.diff \
33                    patch-btorsat.c.diff \
34                    patch-makefile.in.diff
35
36use_parallel_build  no
37
38configure.pre_args
39
40destroot {
41    xinstall -d ${destroot}${prefix}/share/doc/${name}
42    xinstall -m 755 -W ${worksrcpath} synthebtor deltabtor boolector \
43        ${destroot}${prefix}/bin
44    xinstall -m 644 ${worksrcpath}/boolector.h \
45        ${destroot}${prefix}/include
46    xinstall -m 644 ${worksrcpath}/libboolector.a \
47        ${destroot}${prefix}/lib
48    xinstall -m 644 -W ${worksrcpath} COPYING NEWS README VERSION \
49        ${destroot}${prefix}/share/doc/${name}
50}
51
52livecheck.type      regex
53livecheck.url       ${homepage}
54livecheck.regex     boolector-(\[0-9\.\]+).tar.gz
Note: See TracBrowser for help on using the repository browser.