[124908] trunk/dports/math

khindenburg at macports.org khindenburg at macports.org
Sat Aug 30 16:21:08 PDT 2014


Revision: 124908
          https://trac.macports.org/changeset/124908
Author:   khindenburg at macports.org
Date:     2014-08-30 16:21:07 -0700 (Sat, 30 Aug 2014)
Log Message:
-----------
cvc4: new port w/ maintainer #44543

Added Paths:
-----------
    trunk/dports/math/cvc4/
    trunk/dports/math/cvc4/Portfile

Added: trunk/dports/math/cvc4/Portfile
===================================================================
--- trunk/dports/math/cvc4/Portfile	                        (rev 0)
+++ trunk/dports/math/cvc4/Portfile	2014-08-30 23:21:07 UTC (rev 124908)
@@ -0,0 +1,66 @@
+# -*- 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                cvc4
+version             1.4
+categories          math devel
+platforms           darwin
+maintainers         cs.nyu.edu:mdeters
+description         An automated theorem prover for SMT problems
+long_description    CVC4 is a tool for determining the satisfiability of a first order formula \
+                    modulo a first order theory (or a combination of such theories). It is the \
+                    fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite, \
+                    CVC3) but does not directly incorporate code from any previous version. \
+                    \
+                    CVC4 is intended to be an open and extensible SMT engine. It can be used \
+                    as a stand-alone tool or as a library. It has been designed to increase \
+                    the performance and reduce the memory overhead of its predecessors.
+license             BSD
+homepage            http://cvc4.cs.nyu.edu/
+master_sites        http://cvc4.cs.nyu.edu/builds/src/
+checksums           rmd160 726f673afe0417bccdde9a2f038da5f642958d15 \
+                    sha256 76fe4ff9eb9ad7d65589efb47d41aae95f3191bd0d0c3940698a7cb2df3f7024
+depends_lib         port:gmp
+depends_build       port:boost \
+                    port:doxygen \
+                    bin:curl:curl \
+                    bin:bash:bash \
+                    bin:awk:gawk
+configure.args      --enable-static --enable-shared --with-build=production \
+                    --bsd --with-gmp --with-compat \
+                    --disable-doxygen-pdf --enable-doxygen-dot \
+                    --with-antlr-dir="${worksrcpath}/antlr-3.4" \
+                    ANTLR="${worksrcpath}/antlr-3.4/bin/antlr3"
+# --enable-language-bindings=c,java
+# --with-portfolio
+test.run            yes
+
+variant debug description {Build a "debug" copy} {
+    configure.args-replace --with-build=production --with-build=debug
+}
+
+pre-configure {
+    system "MACHINE_TYPE=`${worksrcpath}/config/config.guess | cut -f1 -d-` ANTLR_CONFIGURE_ARGS=--disable-abiflags ${worksrcpath}/contrib/get-antlr-3.4"
+}
+
+post-build {
+    system "make -C \"${worksrcpath}\" doc"
+}
+
+destroot {
+    # strip binaries and libraries
+    system "make -C \"${worksrcpath}\" install-strip DESTDIR=\"${destroot}\""
+}
+
+post-destroot {
+    file mkdir "${destroot}${prefix}/share/doc/${name}/doxygen"
+    file copy "${worksrcpath}/doc/doxygen/html" \
+          "${destroot}${prefix}/share/doc/${name}/doxygen/html"
+    system "make -C \"${worksrcpath}\" install-examples DESTDIR=\"${destroot}\""
+}
+
+livecheck.type          regex
+livecheck.url           ${master_sites}
+livecheck.regex         cvc4-(\[0-9.\]+)\\.tar\\.gz


Property changes on: trunk/dports/math/cvc4/Portfile
___________________________________________________________________
Added: svn:keywords
   + Id
Added: svn:eol-style
   + native
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.macosforge.org/pipermail/macports-changes/attachments/20140830/00598bbf/attachment.html>


More information about the macports-changes mailing list