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

 Replying to [comment:2 mdeters@…]:
 > 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?

 One way I can work around this is to override "destroot" and force a "make
 install-strip" instead of "make install".

 Is doing so acceptable for MacPorts?  I'm attaching an updated Portfile.

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