[MacPorts] #44543: Submission: cvc4, an automated theorem prover for SMT problems
MacPorts
noreply at macports.org
Tue Aug 5 10:17:05 PDT 2014
#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
More information about the macports-tickets
mailing list