[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 mdeters@…):

 Thanks for the comments.  I have corrected the Portfile, but first a
 question.

 If I build static libraries, the installation size goes up dramatically.
 We had complaints from users that the (mpkg) installers were large
 (~125MB) so I added +no_static and now they are ~6MB.

 Size on disk is also an issue (the largest of our static libs, libcvc4.a,
 is 648 MB).  Is there a good way of dealing with this without using a
 variant?

-- 
Ticket URL: <https://trac.macports.org/ticket/44543#comment:2>
MacPorts <http://www.macports.org/>
Ports system for OS X