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