source: trunk/dports/math/cvc4/Portfile @ 124908

Last change on this file since 124908 was 124908, checked in by khindenburg@…, 5 years ago

cvc4: new port w/ maintainer #44543

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 2.8 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 124908 2014-08-30 23:21:07Z khindenburg@macports.org $
3
4PortSystem          1.0
5
6name                cvc4
7version             1.4
8categories          math devel
9platforms           darwin
10maintainers         cs.nyu.edu:mdeters
11description         An automated theorem prover for SMT problems
12long_description    CVC4 is a tool for determining the satisfiability of a first order formula \
13                    modulo a first order theory (or a combination of such theories). It is the \
14                    fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, \
15                    CVC3) but does not directly incorporate code from any previous version. \
16                    \
17                    CVC4 is intended to be an open and extensible SMT engine. It can be used \
18                    as a stand-alone tool or as a library. It has been designed to increase \
19                    the performance and reduce the memory overhead of its predecessors.
20license             BSD
21homepage            http://cvc4.cs.nyu.edu/
22master_sites        http://cvc4.cs.nyu.edu/builds/src/
23checksums           rmd160 726f673afe0417bccdde9a2f038da5f642958d15 \
24                    sha256 76fe4ff9eb9ad7d65589efb47d41aae95f3191bd0d0c3940698a7cb2df3f7024
25depends_lib         port:gmp
26depends_build       port:boost \
27                    port:doxygen \
28                    bin:curl:curl \
29                    bin:bash:bash \
30                    bin:awk:gawk
31configure.args      --enable-static --enable-shared --with-build=production \
32                    --bsd --with-gmp --with-compat \
33                    --disable-doxygen-pdf --enable-doxygen-dot \
34                    --with-antlr-dir="${worksrcpath}/antlr-3.4" \
35                    ANTLR="${worksrcpath}/antlr-3.4/bin/antlr3"
36# --enable-language-bindings=c,java
37# --with-portfolio
38test.run            yes
39
40variant debug description {Build a "debug" copy} {
41    configure.args-replace --with-build=production --with-build=debug
42}
43
44pre-configure {
45    system "MACHINE_TYPE=`${worksrcpath}/config/config.guess | cut -f1 -d-` ANTLR_CONFIGURE_ARGS=--disable-abiflags ${worksrcpath}/contrib/get-antlr-3.4"
46}
47
48post-build {
49    system "make -C \"${worksrcpath}\" doc"
50}
51
52destroot {
53    # strip binaries and libraries
54    system "make -C \"${worksrcpath}\" install-strip DESTDIR=\"${destroot}\""
55}
56
57post-destroot {
58    file mkdir "${destroot}${prefix}/share/doc/${name}/doxygen"
59    file copy "${worksrcpath}/doc/doxygen/html" \
60          "${destroot}${prefix}/share/doc/${name}/doxygen/html"
61    system "make -C \"${worksrcpath}\" install-examples DESTDIR=\"${destroot}\""
62}
63
64livecheck.type          regex
65livecheck.url           ${master_sites}
66livecheck.regex         cvc4-(\[0-9.\]+)\\.tar\\.gz
Note: See TracBrowser for help on using the repository browser.