| 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 | |
|---|
| 4 | PortSystem 1.0 |
|---|
| 5 | |
|---|
| 6 | name cvc4 |
|---|
| 7 | version 1.4 |
|---|
| 8 | categories math devel |
|---|
| 9 | platforms darwin |
|---|
| 10 | maintainers cs.nyu.edu:mdeters |
|---|
| 11 | description An automated theorem prover for SMT problems |
|---|
| 12 | long_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. |
|---|
| 20 | license BSD |
|---|
| 21 | homepage http://cvc4.cs.nyu.edu/ |
|---|
| 22 | master_sites http://cvc4.cs.nyu.edu/builds/src/ |
|---|
| 23 | checksums rmd160 726f673afe0417bccdde9a2f038da5f642958d15 \ |
|---|
| 24 | sha256 76fe4ff9eb9ad7d65589efb47d41aae95f3191bd0d0c3940698a7cb2df3f7024 |
|---|
| 25 | depends_lib port:gmp |
|---|
| 26 | depends_build port:boost \ |
|---|
| 27 | port:doxygen \ |
|---|
| 28 | bin:curl:curl \ |
|---|
| 29 | bin:bash:bash \ |
|---|
| 30 | bin:awk:gawk |
|---|
| 31 | configure.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 |
|---|
| 38 | test.run yes |
|---|
| 39 | |
|---|
| 40 | variant debug description {Build a "debug" copy} { |
|---|
| 41 | configure.args-replace --with-build=production --with-build=debug |
|---|
| 42 | } |
|---|
| 43 | |
|---|
| 44 | variant java description {Build Java language bindings} { |
|---|
| 45 | configure.args-append --enable-language-bindings=java \ |
|---|
| 46 | JAVA_CPPFLAGS=-I/System/Library/Frameworks/JavaVM.framework/Versions/Current/Headers |
|---|
| 47 | depends_build-append port:swig-java port:swig-tcl |
|---|
| 48 | } |
|---|
| 49 | |
|---|
| 50 | pre-configure { |
|---|
| 51 | system "MACHINE_TYPE=`${worksrcpath}/config/config.guess | cut -f1 -d-` ANTLR_CONFIGURE_ARGS=--disable-abiflags ${worksrcpath}/contrib/get-antlr-3.4" |
|---|
| 52 | } |
|---|
| 53 | |
|---|
| 54 | post-build { |
|---|
| 55 | system "make -C \"${worksrcpath}\" doc" |
|---|
| 56 | } |
|---|
| 57 | |
|---|
| 58 | destroot { |
|---|
| 59 | # strip binaries and libraries |
|---|
| 60 | system "make -C \"${worksrcpath}\" install-strip DESTDIR=\"${destroot}\"" |
|---|
| 61 | } |
|---|
| 62 | |
|---|
| 63 | post-destroot { |
|---|
| 64 | file mkdir "${destroot}${prefix}/share/doc/${name}/doxygen" |
|---|
| 65 | file copy "${worksrcpath}/doc/doxygen/html" \ |
|---|
| 66 | "${destroot}${prefix}/share/doc/${name}/doxygen/html" |
|---|
| 67 | system "make -C \"${worksrcpath}\" install-examples DESTDIR=\"${destroot}\"" |
|---|
| 68 | } |
|---|
| 69 | |
|---|
| 70 | livecheck.type regex |
|---|
| 71 | livecheck.url ${master_sites} |
|---|
| 72 | livecheck.regex cvc4-(\[0-9.\]+)\\.tar\\.gz |
|---|
