#44543: Submission: cvc4, an automated theorem prover for SMT problems -------------------------+-------------------------------- Reporter: mdeters@… | Owner: macports-tickets@… Type: submission | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.1 Resolution: | Keywords: Port: cvc4 | -------------------------+-------------------------------- Comment (by ryandesign@…): Thanks. Some observations: * The standard modeline should be inserted before line 1. * The line "`distname cvc4-${version}`" should be deleted because that is the default value. * We don't want to add variants whose names begin with "no" anymore. Why is the "no_static" variant needed or desired? What harm is there to always installing both static and dynamic libraries, which is what we would like all ports to do if possible? * In the debug variant, instead of invoking both "`configure.args- delete`" and" `configure.args-append`", consider using "`configure.args- replace`" instead. -- Ticket URL: <https://trac.macports.org/ticket/44543#comment:1> MacPorts <http://www.macports.org/> Ports system for OS X