[MacPorts] #44543: Submission: cvc4, an automated theorem prover for SMT problems

[MacPorts]

#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