Revision: 124908 https://trac.macports.org/changeset/124908 Author: khindenburg@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